Automated Reasoning with Analytic Tableaux and Related Methods
67
%
566 Kč 1 718 Kč
Sleva až 70% u třetiny knih
Autor: | Brünnler, Kai |
Nakladatel: | Springer-Verlag GmbH |
ISBN: | 3642221181 |
Rok vydání: | 2011 |
Jazyk : | Angličtina |
Vazba: | brožovaná/paperback |
Mohlo by se vám také líbit..
-
Blockchain kurz & gut
Brünnler, Kai
-
Digital Da Vinci
Lee, Newton
-
Orchestrating Human-Centered Design
Boy, Guy Andre (Professor Centralesupelec & Estia)
-
The Art of Artificial Evolution
Romero, Juan
-
System Dynamics Modeling with R
Duggan, Jim
-
Raspberry Pi - Das technische Handbuch
Klaus Dembowski
-
Smart Information Systems
Hopfgartner, Frank
-
Interactive Systems Design, Specifica...
Doherty, Gavin
-
Designgeschichte
Bühler, Peter
-
Computational Creativity Research: To...
Besold, Tarek Richard
-
Bibliothek der Mediengestaltung - Auf...
Bühler, Peter
-
Complex Event Processing
Hedtstück, Ulrich
-
Präsentation
Bühler, Peter
-
Künstliche Intelligenz im Handel 2 - ...
Glas, Rainer
-
Internet
Bühler, Peter
-
Produktdesign
Bühler, Peter