A formal deductive problem-solving system
Author(s)
Bibliographic Information
A formal deductive problem-solving system
PB, c1968
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
Reprint. Originally published: Seatle : Computer Science Group, University of Washington, 1968
"Classified report"--Cover
Bibliography: leaves [37]-[38]