Book
Theorem Proving in Higher Order Logics
13th International Conference, Tphols 2000 Portland, or, USA, August 14-18, 2000 Proceedings «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783540678632
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Theorem Proving in Higher Order Logics by John Harrison & Mark Aagaard
There are no reviews for this book yet.
