Theorem proving in higher order logics / Gunter,Elsa L.

By: Gunter,Elsa LMaterial type: Text

TextLanguage: English Publication details: Berlin: Springer, 1997. Edition: 10th international cDescription: viii,337p;26cmISBN: 3540633790DDC classification: 005.1 GUN

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 1 )
Comments ( 0 )

Holdings
Item type	Current library	Home library	Collection	Call number	Status	Date due	Barcode	Item holds
Reference Books	Central Library, TU Reference Book Section (Consult Shelf-Guide to locate the book)	Central Library, TU	Reference	005.1 GUN (Browse shelf(Opens below))	Not for loan		11484

Total holds: 0

Browsing Central Library, TU shelves, Shelving location: Reference Book Section (Consult Shelf-Guide to locate the book), Collection: Reference Close shelf browser (Hides shelf browser)

Previous								Next
Previous	005.1 FIN Fundamental approaches to software engineering /	005.1 FIN Fundamental approaches to software engineering /	005.1 GRU Software process technology /	005.1 GUN Theorem proving in higher order logics /	005.1 GUT Programming languages and system architecture /	005.1 HAN Algebraic and logic programming /	005.1 HAN Handbook of approximation algorithms and metaheuristics /	Next

Includes bibliographical references.

There are no comments on this title.

to post a comment.