Next:
Logical Languages
Up:
LOGICAL THEORIES AND AUTOMATED
Previous:
Introduction
Logical Languages, Theories and Decision Procedures
Logical Languages
Theories
Primitives and Defined Concepts
Logical Decision Procedures
A G Cohn
Wed Nov 1 13:20:53 GMT 1995
