Formal methods in artificial intelligence /

Formal methods in artificial intelligence /

Saved in:

Bibliographic Details
Author / Creator:	Ramsay, Allan, 1953-
Imprint:	Cambridge ; New York : Cambridge University Press, 1988.
Description:	ix, 279 p. : ill. ; 25 cm.
Language:	English
Series:	Cambridge tracts in theoretical computer science 6
Subject:	Artificial intelligence -- Methodology. Logic, Symbolic and mathematical Reasoning Artificial intelligence -- Methodology. Logic, Symbolic and mathematical. Reasoning.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/937834

Hidden Bibliographic Details
ISBN:	0521352363
Notes:	Includes index. Bibliography: p. [273]-275.

Mansueto

Loading map link

Holdings details from Mansueto
Call Number:	Q335.R350 1988
c.1	Available Loan period: standard loan Request from Mansueto Scan and Deliver Need help? - Ask a Librarian