Automated Theorem Proving
4710 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..
-
Udělej si svoji knihu
neuveden
-
Domácí zvířata – kniha se zvuky
-
Podívej se do vesmíru
neuveden
-
Kouzelná třída
Zuzana Pospíšilová; Drahomír Trsťan
-
Jak věci fungují
neuveden
-
Botanicum
Willis, Kathy
-
Balet nás baví
Anna Novotná
-
Interaktivní angličtina pro předškolá...
-
Dějepis na dlani
Martina Komsová; Helena Kohoutková
-
Svět kolem nás - Mluvící knížka
neuveden
-
Hádanky pro předškoláky od 3-4 let
neuveden
-
Angličtina pro nejmenší
Marie Zahálková
-
You Can Count on Monsters
Richard Schwartz
-
Vertex Algebras for Beginners
-
Cohomological Analysis of Partial Di...
-
A History of Mathematics in the Unite...
Zitarelli, David E.