Libro Theorem Proving in Higher Order Logics (TPHOLs, Yves Bertot, Yves Bertot) - 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

Autore: TPHOLs, Yves Bertot, Yves Bertot

paperback
Categoria: Matematica applicata
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Prezzo pieno: ~~82.91 EUR~~
Sconto: -39 %
Il nostro prezzo: 50.09 EUR
(prezzo aggiornato il 22.08.2025)

Spedizione gratuita in Italia
Commenti dei lettori e recensioni del libro: Amazon

Vai e ordina

Libri della categoria Matematica applicata

Più di libri

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