Autologic /

Autologic /

Saved in:

Bibliographic Details
Main Authors:	Tennant, Neil, Tennant, Neil, 1950-, Tennant, Neil, 1954-
Format:	Book
Language:	English
Published:	Edinburgh : Edinburgh University Press, [1992], ©1992 Edinburgh : c1992 Edinburgh : [1992]
Series:	Edinburgh information technology series ; 9 Edinburgh information technology series ; 9 Edinburgh information technology series 9 Edinburgh information technology series 9
Subjects:	Artificial intelligence Automatic theorem proving Logic, Symbolic and mathematical Proof theory Proposition (Logic) Logic
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

University of Chicago

Holdings details from University of Chicago
Call Number:	QA76.9.A96T456 1992

Harvard University

Holdings details from Harvard University
Call Number:	QA76.9.A96 T45 1992

Duke University

Holdings details from Duke University
Call Number:	QA76.9.A96 T46 1992

Cornell University

Holdings details from Cornell University
Call Number:	QA9.54 T29

Princeton University

Holdings details from Princeton University
Call Number:	QA76.9.A96 T45 1992

Columbia University

Holdings details from Columbia University
Call Number:	QA76.9.A96 T46 1992g

University of Pennsylvania

Holdings details from University of Pennsylvania
Call Number:	QA76.9.A96 T46 1992