Directory

Encyclopedia

NodeWorks
                              ENCYCLOPEDIA

Link Checker

Home
Encyclopedia : H : HO :

HOL

  ( 704 )
HOL can refer to any of the following: HOL is an abbreviation for higher-order logic, a branch of symbolic logic in which statements can be quantified over objects, predicates, predicates of predicates etc. There is a ... [MORE]


NodeWorks boosts web surfing!
Page Returned in 0.215 seconds - HTML Compressed 89.6%

This article is from Wikipedia. All text is available
under the terms of the GNU Free Documentation License.
 GNU Free Documentation License
© 2008 Chamas Enterprises Inc.