Ramsay, Allan, 1953-

Formal methods in artificial intelligence / Allan Ramsay. - Cambridge, Eng. : Cambridge University Press, 1988. - ix, 279 p. : ill. - Cambridge tracts in theoretical computer science ; 6 .

0521424216 (pbk)


Artificial intelligence--Methodology.
Logic, Symbolic and mathematical.
Reasoning.