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

AUTOMATED THEOREM PROVING

By: Contributor(s): Series: Contemporary Mathematics, V. 29 ; Publication details: Providence, Rhode Island American Mathematical Society 1984Description: ix,360Subject(s): DDC classification:
  • 511.3 Sp31a
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number URL Status Date due Barcode Item holds
Books 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.

Powered by Koha