Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Author: Yves Bertot

Book
paperback
Category: Applied Mathematics
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Regular book price: 82.91 EUR
Discount: -31 %
Discounted book price: 56.38 EUR
(price updated on 23.09.2024)

Free delivery to EU countries (and more) more

Reader's comments and book reviews: Amazon

View and order

Invalid request..