language-icon Old Web
English
Sign In
Acemap > Field > HOL

HOL

Hol or HOL may refer to: Hol or HOL may refer to:

[ "Algorithm", "Theoretical computer science", "Programming language", "Automated theorem proving", "Geometry", "Theorem Proving System", "Head-of-line blocking" ]
Parent Topic
Child Topic
    No Parent Topic
logo
  • CCF Conference Analysis
  • Map Galaxy
  • What's New
© Copyright 2015-2020 Acemap, Inc. Shanghai Jiao Tong University.