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
-
Weiterentwicklung des Target Costing ...
Schildmacher, Robert J.
-
Patienten und Angehörige richtig info...
Hoffmann, Magdalena
-
Marketingmanagement
Homburg, Christian
-
Umweltmanagementsysteme nach ISO 14001
Brauweiler, Jana
-
Praxisorientiertes Online-Marketing
Kreutzer, Ralf T.
-
Performance, Dynamik und Konvergenz i...
Conrad, Robert
-
Automatisierung und Personalisierung ...
Bruhn, Manfred
-
Agile Procurement
Nicoletti, Bernardo
-
Internationales Marketingmanagement
Ralph Berndt
-
Digital Business
Schellinger, Jochen
-
Die Wirkung von Beziehungen im Influe...
Lienemann, Andre Jann
-
Operations Research
Beuermann, Günter
-
Formelsammlung Aktien-, Zins- und Wäh...
Kruse, Susanne
-
Mehr Kunden für Kleinunternehmen und ...
Flachenäcker, Robert
-
Gender und Diversity in Organisationen
Krell, Gertraude