Image from Google Jackets
Image from OpenLibrary

Higher order logic theorem proving and its applications Luc J M Claesen

By: Contributor(s): Material type: TextTextSeries: Publication details: North-Holland Publishing Co., Amsterdam 1993Edition: Description: Subject(s): DDC classification:
  • 005.1 CLA-H
Tags from this library: No tags from this library for this title. Log in to add tags.
Holdings
Item type Current library Home library Call number Status Date due Barcode
Book Book Dept. of Mathematics Processing Center Dept. of Mathematics 005.1 CLA-H (Browse shelf(Opens below)) Available MAT4221

There are no comments on this title.

to post a comment.