Automated Theorem Proving
4778 Kč
Odesíláme do 5 až 7 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
-
Matematikou krok za krokem k přijímac...
Petr Husar
-
Matematika pro gymnázia Analytická ge...
Milan Kočandrle
-
Matematická kniha
Clifford A. Pickover
-
Matematikou krok za krokem k přijímac...
Petr Husar
-
Matematika pro gymnázia Komplexní čísla
Emil Calda
-
Pracovní sešit z matematiky 7.roč. ZŠ
Oldřich Odvárko
-
Sbírka úloh z matematiky 2.část, pro ...
F. Jirásek
-
Vertex Algebras for Beginners
-
Time-Like Graphical Models
Tadic, Tvrtko
-
A History of Mathematics in the Unite...
Zitarelli, David E.
-
Cohomological Analysis of Partial Di...