[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php

Bibliographic Item (1.0)

  1. Larry Wos
  2. Programs that offer Fast Flawless Logical Reasoning
  3. Commun ACM V41n6(Jun 1998)pp87-95
  4. =ADVERT LOGIC TOOL not AI but rules and algebra
  5. OTTER::= See http://www.mcs.anl.gov/home/mccune/ar/
  6. database+inference+paramodulation+hyperresolution etc
  7. p93: "axiomatization" and representation in the program's language can be trying& even formidable

Search for bibliographic items containing a matching string.

(Search uses POSIX regular expressions and ignores case)

Search for a specific bibliographic item by name.

To see the complete bibliography (1Mb+) select:[Bibliography]