Theorem Proving in Higher Order Logics : Eighteenth International Conference, TPHOLS 2005, Oxford, UK, August 22-25, 2005 ; proceedings
By: Hurd, Joe.
Contributor(s): Melham, Tom.
Material type:
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
| Item type | Current location | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
| Books | 004 HUR (Browse shelf) | Available | 013558 |
There are no comments for this item.