Formal methods in artificial intelligence /
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.
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.