HOL-90 - significado y definición. Qué es HOL-90
Diclib.com
Diccionario ChatGPT
Ingrese una palabra o frase en cualquier idioma 👆
Idioma:

Traducción y análisis de palabras por inteligencia artificial ChatGPT

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

  • cómo se usa la palabra
  • frecuencia de uso
  • se utiliza con más frecuencia en el habla oral o escrita
  • opciones de traducción
  • ejemplos de uso (varias frases con traducción)
  • etimología

Qué (quién) es HOL-90 - definición

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         
  • Hol Church
  •  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].
Hol         
  • Hol Church
  •  Photo of [[Terje Isungset]] taken by [[Knut Bry]] 2015
MUNICIPALITY IN VIKEN, NORWAY
Old Hol Church; Hol (village); Hol Municipality
·adj Whole.

Wikipedia

HOL

Hol or HOL may refer to: