Logic for problem solving. (English) Zbl 0426.68002

The Computer Science Library: Artificial Intelligence Series, 7. New York, Oxford: North Holland. XII, 287 p. hbk: $ 18.95; pbk: $ 9.95 (1979).


68-02 Research exposition (monographs, survey articles) pertaining to computer science
68N99 Theory of software
68T15 Theorem proving (deduction, resolution, etc.) (MSC2010)
68T20 Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
68Q65 Abstract data types; algebraic specification
68P20 Information storage and retrieval of data
00A15 Bibliographies for mathematics in general