Automated deduction--a basis for applications.

Automated deduction--a basis for applications.

Saved in:

Bibliographic Details
Imprint:	Dordrecht ; Boston : Kluwer Academic Publishers, c1998.
Description:	3 v. ; 25 cm.
Language:	English
Series:	Applied logic series v.8-10
Subject:	Automatic theorem proving. Automatic theorem proving. Logic, Symbolic and mathematical.
Format:	Print Book
URL for this record:	http://pi.lib.uchicago.edu/1001/cat/bib/3365187

Hidden Bibliographic Details
Other authors / contributors:	Bibel, Wolfgang.
ISBN:	0792351290 (v. 1) 0792351304 (v. 2) 0792351312 (v. 3) 0792351320 (set)

Crerar, Lower Level, Bookstacks

Loading map link

Holdings details from Crerar, Lower Level, Bookstacks
Call Number:	QA76.9.A96A98 1998 c.1
Issues:	v.1-3
c.1 : v.1	Available Loan period: standard loan Scan and Deliver Request for Pickup Need help? - Ask a Librarian
c.1 : v.2	Available Loan period: standard loan Scan and Deliver Request for Pickup Need help? - Ask a Librarian
c.1 : v.3	Available Loan period: standard loan Scan and Deliver Request for Pickup Need help? - Ask a Librarian