Logics for artificial intelligence /

Bibliographic Details

Main Author:	Turner, Raymond, 1947-
Format:	Book
Language:	English
Published:	Chichester : New York : E. Horwood ; Halsted Press, 1984.
Series:	Ellis Horwood series in artificial intelligence.
Subjects:	Artificial intelligence. Logic, Symbolic and mathematical.