Logics for artificial intelligence
Turner, Raymond,1947-
Chichester Ellis Horwood
1984
Includes bibliographies and index
Artificial intelligence.