211.09 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. 351.99 zł)~~
Rabat: -40 %
Cena internetowa: 49.72 EUR (ok. 211.09 zł)
(aktualizacja cen dnia 20.10.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.96 EUR 122.95 zł Pokaż szczegόły	Cambridge International AS and A Level Mathematics. Statistics 2 Cena: 28.70 EUR 121.85 zł Pokaż szczegόły
The Times World Atlas Puzzle Book: Put Your Knowledge of the World to the Ultimate Test Cena: 24.38 EUR 103.51 zł Pokaż szczegόły	Discrete Mathematics: An Introduction to Concepts, Methods, and Applications Cena: 95.91 EUR 407.19 zł Pokaż szczegόły
Algorithms: United States Edition Cena: 235.90 EUR 1001.51 zł Pokaż szczegόły	Polly's Pen Pal Cena: 8.14 EUR 34.56 zł Pokaż szczegόły
Symmetry: A Journey into the Patterns of Nature Cena: 38.26 EUR 162.43 zł Pokaż szczegόły	Racing Around Cena: 8.66 EUR 36.77 zł Pokaż szczegόły
Super Sand Castle Saturday Cena: 9.12 EUR 38.72 zł Pokaż szczegόły	Schaum's Outline of Theory and Problems of Graph Theory Cena: 31.16 EUR 132.29 zł Pokaż szczegόły
Schaum's Outline of Theory and Problems of Calculus for Business, Economics, and the Social Sciences Cena: 31.48 EUR 133.65 zł Pokaż szczegόły	Schaum's Outline of Theory and Problems of Mathematical Methods for Business and Economics Cena: 16.24 EUR 68.95 zł Pokaż szczegόły
Schaum's Outline of Theory and Problems of Fluid Dynamics Cena: 38.41 EUR 163.07 zł Pokaż szczegόły	Elements of Vibration Analysis Cena: 200.10 EUR 849.52 zł Pokaż szczegόły
Schaum's Outline of Theory and Problems of Numerical Analysis Cena: 40.53 EUR 172.07 zł Pokaż szczegόły	Schaum's Outline of Theory and Problems of Finite Mathematics Cena: 21.13 EUR 89.71 zł Pokaż szczegόły
Theory of Plates and Shells Cena: 76.45 EUR 324.57 zł Pokaż szczegόły	Scientific Computing Cena: 92.71 EUR 393.60 zł Pokaż szczegόły
SCIENTIFIC COMPUTING 2E (Int'l Ed) Cena: 94.34 EUR 400.52 zł Pokaż szczegόły	Calculus for Business, Economics, and the Social and Life Sciences Cena: 92.71 EUR 393.60 zł Pokaż szczegόły