Formal methods in artificial intelligence /

Bibliographic Details
Main Author:	Ramsay, Allan, 1953-
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 1988.
Series:	Cambridge tracts in theoretical computer science ; 6.
Subjects:	Artificial intelligence > Methodology. Logic, Symbolic and mathematical. Reasoning.

Remote Storage