UCSC Library OPAC
Image from Google Jackets

Automated Theorem Proving: Theory and Practice

By: Language: English Publication details: New York:Springer-Verlag; 2001Description: 231 pISBN:
  • 9781461265191
Subject(s): DDC classification:
  • 004.015
  • N28
Item type: Refrence Book
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Home library Collection Call number Status Date due Barcode Item holds
Refrence Book Refrence Book UCSC Library Reference Section UCSC Library Reference Section Reference Collection 004.015 N28 (Browse shelf(Opens below)) Available A22981
Lending Book Lending Book UCSC Library Lending Section UCSC Library Lending Section Lending Collection 004.015 N28 (Browse shelf(Opens below)) Available A22982
Total holds: 0

There are no comments on this title.

to post a comment.
© 2026 All rights reserved. UCSC