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

Automated theorem proving : theory and practice

By: Material type: FilmFilmPublication details: Springer-Verlag 2001Subject(s): DDC classification:
  • A137039 A1.3
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Date due Barcode Item holds
USB/CD/DVD USB/CD/DVD PK Kelkar Library, IIT Kanpur CARS A137039 A1.3 (Browse shelf(Opens below)) Reference ER1137
Total holds: 0

There are no comments on this title.

to post a comment.

Powered by Koha