Normal view MARC view ISBD view

AUTOMATED THEOREM PROVING

By:

BLEDSOE, W. W,

Contributor(s):

LOVELAND, D. W

Series: Contemporary Mathematics, V. 29 ; Publication details: Providence, Rhode Island American Mathematical Society 1984Description: ix,360Subject(s):

Automatic Theorem Proving -- Cong

DDC classification:

511.3 Sp31a

Average rating: 0.0 (0 votes)

Holdings
Item type	Current library	Collection	Call number	URL	Status	Date due	Barcode	Item holds
Books	PK Kelkar Library, IIT Kanpur	COMPACT STORAGE (BASEMENT)	511.3 Sp31a (Browse shelf(Opens below))	Link to resource	Available		A93450

Total holds: 0

Proceedings Of The Special Session On Automatic Theorem Proving, 89th Annual Meeting Of The American Mathematical Society, Held In Denver, Colorado, Jan. 5-9, 1983

There are no comments on this title.

to post a comment.

Place hold
Print
Add to your cart (remove)
Save record
BIBTEX Dublin Core ISBD MARC (non-Unicode/MARC-8) RIS MARC (Unicode/UTF-8)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Welcome to P K Kelkar Library, Online Public Access Catalogue (OPAC)

AUTOMATED THEOREM PROVING