Automated Theorem Proving
4778 Kč
Odesíláme do 1 až 2 týdnů
Sleva až 70% u třetiny knih
| Nakladatel: | American Mathematical Society |
| ISBN: | 9780821850275 |
| Rok vydání: | 1984 |
| Jazyk : | Angličtina |
| Vazba: | Paperback / softback |
Mohlo by se vám také líbit..
-
Diagnostika dítěte předškolního věku
Jiřina Bednářová, Vlasta Šmardová
-
Sbírka úloh z matematiky pro 4. a 5. ...
Michaela Kaslová
-
Sbírka úloh z matematiky pro SOU a SOŠ
Milada Hudcová
-
Matematika pro gymnázia Kombinatorika...
Emil Calda; Václav Dupač
-
Matematika pro gymnázia Základní pozn...
Bušek Ivan
-
Sbírka úloh z matematiky pro základní...
František Běloun
-
Matematikou krok za krokem k přijímac...
Petr Husar
-
Matematika pro gymnázia Analytická ge...
Milan Kočandrle
-
Matematická kniha
Clifford A. Pickover
-
Matematika pro SOŠ a studijní obory S...
Emil Calda
-
Matematikou krok za krokem k přijímac...
Petr Husar
-
Matematika pro gymnázia Komplexní čísla
Emil Calda
-
Applied Linear Algebra
Sadun, Lorenzo
-
Algebraic Curves and Riemann Surfaces
Tufnell, Miranda; Crickmay, Chris
-
Time-Like Graphical Models
Tadic, Tvrtko
-
Geometry of Conics