001.535 / R149f
Ramsay, Allan
Formal methods in artificial intelligence
/ Allan Ramsay
.- Cambridge: Cambridge University Press, 1988
.- ix, 279p .
.- ( Cambridge Tracts In Theoretical Computer Science
ISBN: 0521352363
Subject Headings:
Artificial Intelligence -- Methodology;
Logic, Symbolic And Mathematical;
Copy Details:
Acc. No.: A103324, Full Call No.: 001.535 R149f, Item type: Books , Location: General Stacks,
------------------------- --------------------- ------ --------- ------- ------- --------- --------