Logic for problem solving /

Bibliographic Details
Main Author: Kowalski, Robert
Format: Book
Language:English
Published: New York : North-Holland, 1979.
Series:The Computer Science Library. Artificial Intelligence Series ; 7
Subjects:
Description
Physical Description:287 p . ; 23 cm.
Bibliography:Bibliografía: p. 247-260.
ISBN:0444003681