Automated Theorem Proving
1833 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..
-
Ruce pryč od této knihy
Jan van Helsing
-
Stručnější historie času
Stephen King
-
Encyklopedie českých vesnic V. – Libe...
Jan Pešta
-
Sapiens a brief history of humankind
Harari Yuval Noah
-
Kniha o marihuaně
-
Sběrné suroviny
Tomáš Dvořák
-
Vizuální antropologie
-
Jak psát bez chyb aneb I pravopis se ...
Kalandra František
-
Na vandru
Karel Vojtěch Rajlich
-
Japonská literatura 712-1868
Švarcová Zdenka
-
Jak jsem se stal chalupářem
Kala Miroslav
-
Úrovně spravedlnosti
-
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.