Normal view MARC view ISBD view

Theorem proving in higher order logics : 18th international conference proceedings, TPHOLs, Oxford, UK, Aug. 22-25, 2005

Theorem proving in higher order logics : 18th international conference proceedings, TPHOLs, Oxford, UK, Aug. 22-25, 2005 - - Berlin Springer 2005 - ix,409 p. 24 cm - Lecture notes in computer science ; v.3603 .

ISBN: 3-540-28372-2

Subjects--Topical Terms:

Logic, Symbolic and mathematical-Congresses , Computer science-Congresses , Automatic theorem proving-Congresses

Universal Decimal Class. No.: 681.3:517.1The:18:05

Print
Add to your cart (remove)
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)