Automated Theorem Proving
1828 Kč
Odesíláme do 3 až 5 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..
-
Život za cara?
Zbyněk Vydra
-
On Liberty
Mill John Stuart
-
Common Sense
Paine Thomas
-
Současné metodologické otázky veřejné...
Martin Nekola
-
An Image of Africa
Achebe Chinua
-
Migrace a státní suverenita
Petr Štica
-
The Communist Manifesto
Marx Karl, Engels Friedrich
-
On Conspiracies
Machiavelli Niccolo
-
Sprawa Ziętary
Kaźmierczak Krzysztof M., Talaga Piotr
-
Teologia polityczna i inne pisma
Carl Schmitt
-
Islám ve Spojených státech amerických
Simona Hlaváčová
-
Anarchizm i inne eseje
Goldman Emma
-
Vertex Algebras for Beginners
-
You Can Count on Monsters
Richard Schwartz
-
Cohomological Analysis of Partial Di...
-
Geometry in Problems
Shen, Alexander