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

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

Author: TPHOLs, Yves Bertot, Yves Bertot

paperback
Category: Applied Mathematics
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Regular book price: ~~82.91 EUR~~
Discount: -39 %
Discounted book price: 50.09 EUR
(price updated on 22.08.2025)

Free delivery to EU countries (and more) more

Reader's comments and book reviews: Amazon

View and order

Books from category Applied Mathematics

More than books

Cambridge International AS & A Level Mathematics. Statistics 1 Price: 29.17 EUR Show book details	Cambridge International AS and A Level Mathematics. Statistics 2 Price: 28.92 EUR Show book details
The Times World Atlas Puzzle Book: Put Your Knowledge of the World to the Ultimate Test Price: 24.64 EUR Show book details	Discrete Mathematics: An Introduction to Concepts, Methods, and Applications Price: 96.96 EUR Show book details
Algorithms: United States Edition Price: 238.46 EUR Show book details	Polly's Pen Pal Price: 8.22 EUR Show book details
Symmetry: A Journey into the Patterns of Nature Price: 38.67 EUR Show book details	Racing Around Price: 8.76 EUR Show book details
Super Sand Castle Saturday Price: 9.22 EUR Show book details	Schaum's Outline of Theory and Problems of Graph Theory Price: 31.32 EUR Show book details
Schaum's Outline of Theory and Problems of Calculus for Business, Economics, and the Social Sciences Price: 31.63 EUR Show book details	Schaum's Outline of Theory and Problems of Mathematical Methods for Business and Economics Price: 16.42 EUR Show book details
Schaum's Outline of Theory and Problems of Fluid Dynamics Price: 38.60 EUR Show book details	Elements of Vibration Analysis Price: 202.28 EUR Show book details
Schaum's Outline of Theory and Problems of Numerical Analysis Price: 40.97 EUR Show book details	Schaum's Outline of Theory and Problems of Finite Mathematics Price: 21.36 EUR Show book details
Theory of Plates and Shells Price: 77.28 EUR Show book details	Scientific Computing Price: 93.72 EUR Show book details
SCIENTIFIC COMPUTING 2E (Int'l Ed) Price: 95.37 EUR Show book details	Calculus for Business, Economics, and the Social and Life Sciences Price: 93.72 EUR Show book details