Yves Bertot (EDT), Gilles Dowek (EDT), Andre Hirschowitz (EDT), Christine Paulin (EDT), Laurent Thery (EDT) Theorem Proving in Higher Order Logics

12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings

Price for Eshop: 1267 Kč (€ 50.7)

VAT 0% included

Condition: New

Availability: E-book delivered electronically online

E-Book information

Publisher: Springer Berlin Heidelberg

Date: 2003

EAN/ISBN13: 978-3-540-48256-7

ISBN10: 3-540-48256-3

You can ask us about this book and we'll send an answer to your e-mail.