| slovo | definícia |
Hol
(gcide) | Hol \Hol\, a. [See Whole.]
Whole. [Obs.] --Chaucer.
[1913 Webster] |
hol
(foldoc) | HOL
Higher Order Logic. A proof-generating system for {higher
order logic} based on LCF. Implementations include HOL-88
and HOL-90.
(ftp://ted.cs.uidaho.edu/pub/hol). Mailing list:
info-hol@ted.cs.uidaho.edu.
["HOL: A Machine Oriented Formulation of Higher Order Logic",
M.J.C. Gordon, Report 68, Comp Lab U Cambridge (1985)].
["Introduction to HOL", M.J.C. Gordon et al, Cambridge U Press
1993 ISBN 0-521-441897].
|
hol
(vera) | HOL
Head Of Line
|
| | podobné slovo | definícia |
alcohol
(mass) | alcohol
- alkohol |
alcoholfree
(mass) | alcohol-free
- bez alkoholu |
anthologies
(mass) | anthologies
- výber |
asshole
(mass) | asshole
- sviňa |
behold
(mass) | behold
- uvidiť, vidieť |
catch hold of
(mass) | catch hold of
- zachytiť |
catholic
(mass) | Catholic
- katolíkcatholic
- katolícky |
choler
(mass) | choler
- zlosť |
foothold
(mass) | foothold
- základ |
grain alcohol
(mass) | grain alcohol
- lieh |
heartwhole
(mass) | heart-whole
- úprimný |
hold
(mass) | hold
- uchopenie, hold/held/held, zadržať, udržovať |
hold back
(mass) | hold back
- zadržať, zadržovať |
hold in
(mass) | hold in
- kontrolovať |
hold off
(mass) | hold off
- odložiť |
hold on
(mass) | hold on
- počkať |
hold out
(mass) | hold out
- vydržať |
hold over
(mass) | hold over
- odložiť |
hold up
(mass) | hold up
- zadržať, vydržať, podporovať |
holder
(mass) | holder
- držiak, majiteľ |
holding
(mass) | holding
- držiaci, držba, vlastníctvo |
hole
(mass) | hole
- diera, jama |
holiday
(mass) | holiday
- sviatok, rekreácia, dovolenka, prázdniny, tráviť dovolenku,
tráviť prázdniny |
holidays
(mass) | holidays
- sviatky, prázdniny |
holiness
(mass) | holiness
- svätosť |
holland
(mass) | Holland
- Holandsko |
hollow
(mass) | hollow
- dutý, prázdny, dutina, diera, vyhĺbiť, vydlabať |
holocaust
(mass) | holocaust
- holokaust, masaker, vyhladenie |
holy
(mass) | holy
- svätý |
holy see
(mass) | Holy See
- Vatikán |
household
(mass) | household
- domácnosť |
leaseholder
(mass) | leaseholder
- árendátor |
melancholia
(mass) | melancholia
- depresie |
melancholy
(mass) | melancholy
- smútok |
mythology
(mass) | mythology
- mytológia |
ornithology
(mass) | ornithology
- ornitologia |
pigeonhole
(mass) | pigeonhole
- zaraadiť |
placeholder
(mass) | placeholder
- zástupnca, zástupný znak |
pothole
(mass) | pothole
- jama |
psychological
(mass) | psychological
- duševný |
psychology
(mass) | psychology
- psychológia |
recordholder
(mass) | record-holder
- držiteľ rekordu |
scholar
(mass) | scholar
- žiak |
shareholder
(mass) | shareholder
- akcionár |
stockholder
(mass) | stockholder
- akcionár |
stronghold
(mass) | stronghold
- tvrdza |
threshold
(mass) | threshold
- hranica, hraničná hodnota, prah, limit |
upholding
(mass) | upholding
- udržovanie |
upholstery
(mass) | upholstery
- čalúnenie |
whole
(mass) | whole
- celý |
whole piece
(mass) | whole piece
- celok |
wholehearted
(mass) | wholehearted
- úprimný, vážnywhole-hearted
- úprimný |
wholeheartedly
(mass) | wholeheartedly
- úprimne, vážnewhole-heartedly
- úprimne |
wholesale
(mass) | wholesale
- veľkoobchod |
wholly
(mass) | wholly
- úplne, celkom |
withholding
(mass) | withholding
- odmietnutie |
alkohol
(msas) | alkohol
- alcohol, spirit |
alkoholik
(msas) | alkoholik
- drinker, imbiber, juicer, toper |
bez alkoholu
(msas) | bez alkoholu
- alcohol-free |
chlácholiť
(msas) | chlácholiť
- console |
holandsko
(msas) | Holandsko
- NL, NLD, Holland, Netherlands |
holandské antily
(msas) | Holandské Antily
- AN, ANT, Netherlands Antilles |
holandský
(msas) | holandský
- Dutch |
holandčina
(msas) | holandčina
- Dutch |
holanďan
(msas) | Holanďan
- Dutchman |
hold
(msas) | hold
- tribute |
hold/held/held
(msas) | hold/held/held
- held, hold |
holič
(msas) | holič
- hairdresser |
holiť
(msas) | holiť
- shave |
holokaust
(msas) | holokaust
- holocaust |
holub
(msas) | holub
- dove |
mnohouholník
(msas) | mnohouholník
- polygon |
mohol
(msas) | mohol
- could |
mohol by
(msas) | mohol by
- might |
nemohol
(msas) | nemohol
- couldn't |
oholený
(msas) | oholený
- shaved, smooth-faced |
osemuholník
(msas) | osemuholník
- octagon |
ozdoba na vrchole stĺpu alebo štíte domu
(msas) | ozdoba na vrchole stĺpu alebo štíte domu
- finial |
|