Normal view MARC view ISBD view

Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings

Material type: materialTypeLabel

BookSeries: 3603. Lecture notes in computer science.Publisher: New York: Springer, 2005Description: ix, 408 p.; ill.: 24 cm.ISBN: 9783540283720.Subject(s): Logic | Theorem proving | Symbolic | Higher order logics | mathematical | Automatic theorem provingDDC classification: 004

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

Item type	Current location	Call number	Status	Date due	Barcode
Books		004 HUR (Browse shelf)	Available		013558

Previous								Next
Previous	004 HUN Computers and Common Sense	004 HUN Computers and Common Sense	004 HUR Parallel, distributed, and pervasive computing	004 HUR Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings	004 HUS Computers	004 HUT Security in Pervasive Computing : First International Conference, Boppard, Germany, March 12-14, 2003 : Revised Papers	004 IEE Logic in Computer Science	Next

There are no comments for this item.

Koha online