Yves Bertot

Popular items by Yves Bertot

View all offers

Theorem Proving in Higher Order Logics: 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings (Lecture Notes in Computer Science, 1690)

Item prices starting from

US$ 6.72

View 7 offers

Also find
New, Used
Interactive Theorem Proving and Program Development
Bertot, Yves; Cast�ran, Pierre

Item prices starting from

US$ 37.38

View 39 offers

Also find
New, Used