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.

Description
Item Description:	"R-803-PR." "A report prepared for United States Air Force Project Rand." "Contract number F44620-67-C-0045." "August 1971."
Physical Description:	vii, 36 pages ; 28 cm.
Bibliography:	Bibliography: pages 35-36.