1192 Kč - 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

paperback
Kategorie: Aplikovaná matematika
Běžná cena: ~~82.91 EUR (2010 Kč)~~
Sleva: -40 %
Naše cena: 49.16 EUR (cca 1192 Kč)
(cena aktualizována 14.11.2025)

Doprava zdarma do České republiky a na Slovensko více

Komentáře čtenářů a knižní recenze: Amazon

Objednat

Knihy z kategorie Aplikovaná matematika

Více než knih

Cambridge International AS & A Level Mathematics. Statistics 1 Cena: 28.63 EUR cca 694 Kč Podrobnosti o knize	Cambridge International AS and A Level Mathematics. Statistics 2 Cena: 28.37 EUR cca 688 Kč Podrobnosti o knize
The Times World Atlas Puzzle Book: Put Your Knowledge of the World to the Ultimate Test Cena: 24.11 EUR cca 584 Kč Podrobnosti o knize	Discrete Mathematics: An Introduction to Concepts, Methods, and Applications Cena: 94.84 EUR cca 2299 Kč Podrobnosti o knize
Algorithms: United States Edition Cena: 233.27 EUR cca 5655 Kč Podrobnosti o knize	Polly's Pen Pal Cena: 9.16 EUR cca 222 Kč Podrobnosti o knize
Symmetry: A Journey into the Patterns of Nature Cena: 37.83 EUR cca 917 Kč Podrobnosti o knize	Racing Around Cena: 8.02 EUR cca 194 Kč Podrobnosti o knize
Super Sand Castle Saturday Cena: 9.02 EUR cca 219 Kč Podrobnosti o knize	Schaum's Outline of Theory and Problems of Graph Theory Cena: 31.35 EUR cca 760 Kč Podrobnosti o knize
Schaum's Outline of Theory and Problems of Calculus for Business, Economics, and the Social Sciences Cena: 31.69 EUR cca 768 Kč Podrobnosti o knize	Schaum's Outline of Theory and Problems of Mathematical Methods for Business and Economics Cena: 16.06 EUR cca 389 Kč Podrobnosti o knize
Schaum's Outline of Theory and Problems of Fluid Dynamics Cena: 38.66 EUR cca 937 Kč Podrobnosti o knize	Elements of Vibration Analysis Cena: 197.87 EUR cca 4796 Kč Podrobnosti o knize
Schaum's Outline of Theory and Problems of Numerical Analysis Cena: 39.95 EUR cca 968 Kč Podrobnosti o knize	Schaum's Outline of Theory and Problems of Finite Mathematics Cena: 20.89 EUR cca 506 Kč Podrobnosti o knize
Theory of Plates and Shells Cena: 75.59 EUR cca 1832 Kč Podrobnosti o knize	Scientific Computing Cena: 91.69 EUR cca 2223 Kč Podrobnosti o knize
SCIENTIFIC COMPUTING 2E (Int'l Ed) Cena: 93.29 EUR cca 2261 Kč Podrobnosti o knize	Calculus for Business, Economics, and the Social and Life Sciences Cena: 91.69 EUR cca 2223 Kč Podrobnosti o knize