Formal methods in artificial intelligence / Allan Ramsay.

Saved in:

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.

Formal methods in artificial intelligence / by Ramsay, Allan, 1953-

Published 1988

Full Text (via Internet Archive)

eBook