Formal methods in artificial intelligence
By: Allan Ramsay.
Series: Cambridge tracts in theoretical computer science ;; 6
Publisher: Cambridge University Press
Published: 1988
Place of publication: Cambridge; New York
Language: eng
Number of pages: 279
Subjects: Artificial intelligence -- Methodology.; Logic, Symbolic and mathematical.; Reasoning.
Notes: Bibliography: p.[273]-275.
Includes index.