Automated Theorem Proving
1947 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..
-
Jak to funguje v přírodě - Podívej se...
Daynes Katie, Tate Russell
-
Honzíkova cesta
Bohumil Říha
-
DO-RE-MI 1 Zpěvník pro předškoláky
Marie Lišková
-
Moje první čtení
Havlíková Magda
-
Jak to chodí na světě - Více než 80 o...
neuveden
-
První obkreslovací kartičky - Zvířátka
neuveden
-
Staré řecké báje a pověsti
-
Šmalcova abeceda
Petr Šmalec
-
Jak se máš, Eliško?
Sunková Lucie
-
Tajemství srdce
Váchová Šárka
-
Kouzelná třída, příběh pokračuje
Pospíšilová Zuzana, Trsťan Drahomír
-
Medvídek Bruno
-
Vertex Algebras for Beginners
-
You Can Count on Monsters
Richard Schwartz
-
Cohomological Analysis of Partial Di...
-
A History of Mathematics in the Unite...
Zitarelli, David E.