The solvability of the decision problem for classes of proper formulas and related results
By: [by] R.A. DiPaola.
Publisher: Rand
Published: 1971
Place of publication: Santa Monica, Calif
Language: eng
Number of pages: 36
Subjects: Question-answering systems.; Database management.; Predicate calculus.
Notes: Bibliography: p. 35-36.
"A report prepared for United States Air Force Project Rand."
"Contract no. F44620-67-C-0045."