Cover of: Theorem Proving in Higher Order Logics |

Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science)

1 edition

Published by Springer .
Written in English.

There's no description for this book yet. Can you add one?

The Physical Object

Format
Paperback
Number of pages
359
Dimensions
9.1 x 6.1 x 0.8 inches
Weight
1 pounds

ID Numbers

Open Library
OL9901511M
Internet Archive
theoremprovingin0000tpho_z3w5
ISBN 10
3540664637
ISBN 13
9783540664635
Goodreads
2607677
Borrow

Download ebook for print-disabled Download Protected DAISY


Prefer the physical book? Check nearby libraries with:


Buy this book

Amazon $5.00 (used)
Better World Books

History

Download catalog record: RDF / JSON / OPDS
January 15, 2019 Edited by ImportBot import existing book
September 28, 2018 Edited by Clean Up Bot correction
July 28, 2014 Edited by ImportBot import new book
April 6, 2014 Edited by ImportBot Added IA ID.
April 30, 2008 Created by an anonymous user Inital record created, from an amazon.com record.