logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings - Yves Bertot
Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, Proceedings
by: (author)
Format: paperback
ISBN: 9783540664635 (3540664637)
Publisher: Springer
Pages no: 364
Edition language: English
Bookstores:
Books by Yves Bertot
Share this Book
Need help?