209.82 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. 349.53 zł)~~
Rabat: -39 %
Cena internetowa: 49.77 EUR (ok. 209.82 zł)
(aktualizacja cen dnia 03.02.2026)

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: 29.01 EUR 122.30 zł Pokaż szczegόły	Cambridge International AS and A Level Mathematics. Statistics 2 Cena: 28.76 EUR 121.25 zł Pokaż szczegόły
The Times World Atlas Puzzle Book: Put Your Knowledge of the World to the Ultimate Test Cena: 24.43 EUR 102.99 zł Pokaż szczegόły	Discrete Mathematics: An Introduction to Concepts, Methods, and Applications Cena: 96.13 EUR 405.26 zł Pokaż szczegόły
Algorithms: United States Edition Cena: 236.42 EUR 996.69 zł Pokaż szczegόły	Polly's Pen Pal Cena: 9.18 EUR 38.70 zł Pokaż szczegόły
Symmetry: A Journey into the Patterns of Nature Cena: 38.34 EUR 161.63 zł Pokaż szczegόły	Racing Around Cena: 8.13 EUR 34.27 zł Pokaż szczegόły
Super Sand Castle Saturday Cena: 9.18 EUR 38.70 zł Pokaż szczegόły	Schaum's Outline of Theory and Problems of Graph Theory Cena: 31.00 EUR 130.69 zł Pokaż szczegόły
Schaum's Outline of Theory and Problems of Calculus for Business, Economics, and the Social Sciences Cena: 31.34 EUR 132.12 zł Pokaż szczegόły	Schaum's Outline of Theory and Problems of Mathematical Methods for Business and Economics Cena: 16.28 EUR 68.63 zł Pokaż szczegόły
Schaum's Outline of Theory and Problems of Fluid Dynamics Cena: 38.18 EUR 160.96 zł Pokaż szczegόły	Elements of Vibration Analysis Cena: 200.55 EUR 845.47 zł Pokaż szczegόły
Schaum's Outline of Theory and Problems of Numerical Analysis Cena: 40.25 EUR 169.68 zł Pokaż szczegόły	Schaum's Outline of Theory and Problems of Finite Mathematics Cena: 21.18 EUR 89.29 zł Pokaż szczegόły
Theory of Plates and Shells Cena: 76.62 EUR 323.01 zł Pokaż szczegόły	Scientific Computing Cena: 92.92 EUR 391.73 zł Pokaż szczegόły
SCIENTIFIC COMPUTING 2E (Int'l Ed) Cena: 94.55 EUR 398.60 zł Pokaż szczegόły	Calculus for Business, Economics, and the Social and Life Sciences Cena: 92.92 EUR 391.73 zł Pokaż szczegόły