Theorem proving in higher order logics / Boulton,Richard j(ed).

By: Boulton,Richard j(ed)Material type: Text

TextLanguage: English Series: LNCS 2152Publication details: Berlin: Springer, 2001. Edition: 14th international cDescription: x,395p;23cmISBN: 354042525xDDC classification: 004 LEC

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	004 LEC (Browse shelf(Opens below))	Not for loan		20319

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						No cover image available		Next
Previous	004 LEC Generative and component-based software engineering /	004 LEC Recent Advances in parallel virtual machine and Message passing interface /	004 LEC Learning-based Robot vision Principles and applications /	004 LEC Theorem proving in higher order logics /	004 LEC Semantics,applications,and implementation of program generation /	004 LEC Advances in Intelligent Data analysis /	004 LEC Correct Hardware design and verification methods /	Next

Includes bibliographical references.

There are no comments on this title.

to post a comment.