Amazon cover image
Image from Amazon.com

ISABELLE: A GENERIC THEOREM PROVER

By: Contributor(s): Material type: TextTextLanguage: English Publication details: NEWYORK SPRINGER 1994Description: 321ISBN:
  • 9783540582441
DDC classification:
  • 511.3028553 LAW
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 Collection Call number Status Barcode
Books Books Indian Institute of Technology Tirupati General Stacks Computer Science 511.3028553 LAW (Browse shelf(Opens below)) Available 04168

There are no comments on this title.

to post a comment.