Voer een woord of zin in in een taal naar keuze 👆
Taal:
Vertaling en analyse van woorden door kunstmatige intelligentie ChatGPT
Op deze pagina kunt u een gedetailleerde analyse krijgen van een woord of zin, geproduceerd met behulp van de beste kunstmatige intelligentietechnologie tot nu toe:
- hoe het woord wordt gebruikt
- gebruiksfrequentie
- het wordt vaker gebruikt in mondelinge of schriftelijke toespraken
- opties voor woordvertaling
- Gebruiksvoorbeelden (meerdere zinnen met vertaling)
- etymologie
Wat (wie) is HOL-90 - definitie
WIKIMEDIA DISAMBIGUATION PAGE
HoL; HOL (disambiguation); Hol (disambiguation)
HOL-90
An implementation of HOL built on SML/NJ by Brian Graham
<graham@cpsc.ucalgary.ca>. Runs on Sun-4.
ftp://fsa.cpsc.ucalgary.ca/pub/hol90.tar.Z. Mailing list:
info-hol@clover.ucdavis.edu.
HOL
![Photo of [[Terje Isungset]] taken by [[Knut Bry]] 2015](https://commons.wikimedia.org/wiki/Special:FilePath/P9140112-Exposure lag kvalitet.jpg?width=200 "Photo of [[Terje Isungset]] taken by [[Knut Bry]] 2015")
MUNICIPALITY IN VIKEN, NORWAY
Old Hol Church; Hol (village); Hol Municipality
Higher Order Logic. A proof-generating system for {higher
order logic} based on LCF. Implementations include HOL-88
and HOL-90.
hol">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 ].
