Geben Sie ein Wort oder eine Phrase in einer beliebigen Sprache ein 👆
Sprache:
Übersetzung und Analyse von Wörtern durch künstliche Intelligenz ChatGPT
Auf dieser Seite erhalten Sie eine detaillierte Analyse eines Wortes oder einer Phrase mithilfe der besten heute verfügbaren Technologie der künstlichen Intelligenz:
- wie das Wort verwendet wird
- Häufigkeit der Nutzung
- es wird häufiger in mündlicher oder schriftlicher Rede verwendet
- Wortübersetzungsoptionen
- Anwendungsbeispiele (mehrere Phrasen mit Übersetzung)
- Etymologie
Was (wer) ist HOL-90 - definition
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 ].
