Normal view MARC view ISBD view

Theorem proving in higher order logics : 17th international conference proceedings, TPHOLs, Park City, Utah, USA, Sept. 14-17, 2004

Theorem proving in higher order logics : 17th international conference proceedings, TPHOLs, Park City, Utah, USA, Sept. 14-17, 2004 - - Berlin Springer 2004 - viii,337 p. 23 cm - Lecture notes in computer science ; v.3223 .

ISBN: 3-540-23017-3

Subjects--Topical Terms:
-
Computer Science and Engineering
Logic, Symbolic and mathematical-Congresses , Computer science-Congresses , Automatic theorem proving-Congresses

Universal Decimal Class. No.: 681.3:517.1The:17:04

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)