The solvability of the decision problem for classes of proper formulas and related results /

Bibliographic Details

Main Author:	DiPaola, Robert A.
Format:	Book
Language:	English
Published:	Santa Monica, Calif. : Rand, 1971.
Subjects:	Question-answering systems. Database management. Predicate calculus.