Formal methods in artificial intelligence
Ramsay, Allan,1953-
Cambridge Cambridge University Press
1988
Includes bibliography and index
Artificial intelligence.
Reasoning.