207.93 zł - TPHOLs, Yves Bertot, Yves Bertot: Theorem Proving in Higher Order Logics

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

Autor: TPHOLs, Yves Bertot, Yves Bertot

Książka w miękkiej okładce
Kategoria: Matematyka stosowana
Cena regularna: ~~82.91 EUR (ok. 348.42 zł)~~
Rabat: -40 %
Cena internetowa: 49.48 EUR (ok. 207.93 zł)
(aktualizacja cen dnia 19.12.2025)

Darmowa wysyłka do Polski więcej

Ocena czytelnikόw i komentarze: Amazon

Zobacz i Zamów

Książki z kategorii Matematyka stosowana

Więcej od książek

Cambridge International AS & A Level Mathematics. Statistics 1 Cena: 28.77 EUR 120.90 zł Pokaż szczegόły	Cambridge International AS and A Level Mathematics. Statistics 2 Cena: 28.51 EUR 119.81 zł Pokaż szczegόły
The Times World Atlas Puzzle Book: Put Your Knowledge of the World to the Ultimate Test Cena: 24.26 EUR 101.95 zł Pokaż szczegόły	Discrete Mathematics: An Introduction to Concepts, Methods, and Applications Cena: 95.45 EUR 401.12 zł Pokaż szczegόły
Algorithms: United States Edition Cena: 234.38 EUR 984.95 zł Pokaż szczegόły	Polly's Pen Pal Cena: 9.18 EUR 38.58 zł Pokaż szczegόły
Symmetry: A Journey into the Patterns of Nature Cena: 38.08 EUR 160.03 zł Pokaż szczegόły	Racing Around Cena: 8.07 EUR 33.91 zł Pokaż szczegόły
Super Sand Castle Saturday Cena: 9.06 EUR 38.07 zł Pokaż szczegόły	Schaum's Outline of Theory and Problems of Graph Theory Cena: 31.06 EUR 130.53 zł Pokaż szczegόły
Schaum's Outline of Theory and Problems of Calculus for Business, Economics, and the Social Sciences Cena: 31.43 EUR 132.08 zł Pokaż szczegόły	Schaum's Outline of Theory and Problems of Mathematical Methods for Business and Economics Cena: 16.14 EUR 67.83 zł Pokaż szczegόły
Schaum's Outline of Theory and Problems of Fluid Dynamics Cena: 38.29 EUR 160.91 zł Pokaż szczegόły	Elements of Vibration Analysis Cena: 198.82 EUR 835.51 zł Pokaż szczegόły
Schaum's Outline of Theory and Problems of Numerical Analysis Cena: 40.20 EUR 168.93 zł Pokaż szczegόły	Schaum's Outline of Theory and Problems of Finite Mathematics Cena: 20.99 EUR 88.21 zł Pokaż szczegόły
Theory of Plates and Shells Cena: 75.96 EUR 319.21 zł Pokaż szczegόły	Scientific Computing Cena: 92.12 EUR 387.12 zł Pokaż szczegόły
SCIENTIFIC COMPUTING 2E (Int'l Ed) Cena: 93.73 EUR 393.89 zł Pokaż szczegόły	Calculus for Business, Economics, and the Social and Life Sciences Cena: 92.12 EUR 387.12 zł Pokaż szczegόły