Detail produktu

Produkt mají v nabídce:

Bookshop

2 078 Kč

Do eshopu

Automated Reasoning

Produkt Automated Reasoning zakoupíte na Bookshop.cz od nakladatele Springer International Publishing AG.

Podobné produkty

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

1 187 Kč

Porovnat nabídky

Automated Reasoning and Mathematics

Automated Reasoning and Mathematics

1 187 Kč

Porovnat nabídky

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

1 336 Kč

Porovnat nabídky

Automated Reasoning

Automated Reasoning

1 336 Kč

Porovnat nabídky

Automated Reasoning

Automated Reasoning

2 672 Kč

Porovnat nabídky

Automated Database Applications Testing: Specification Representation For Automated Reasoning - Mikhail, Rana Farid (Univ Of South Florida, Usa) a Berndt, Donald J (Univ Of South Florida, Usa) a Kandel, Abraham (Univ Of South Florida, Usa)

Automated Database Applications Testing: Specification Representation For Automated Reasoning - Mikhail, Rana Farid (Univ Of South Florida, Usa) a Berndt, Donald J (Univ Of South Florida, Usa) a Kandel, Abraham (Univ Of South Florida, Usa)

2 523 Kč

Porovnat nabídky

Automated Deduction in Multiple-Valued Logics - Hahnle, Reiner (, University of Karlsruhe, 7500 Karlsruhe, Germany)

Automated Deduction in Multiple-Valued Logics - Hahnle, Reiner (, University of Karlsruhe, 7500 Karlsruhe, Germany)

3 516 Kč

Porovnat nabídky

Automated Deduction in Geometry

Automated Deduction in Geometry

1 039 Kč

Porovnat nabídky

Mathematical Logic and Theoretical Computer Science - Kueker, David

Mathematical Logic and Theoretical Computer Science - Kueker, David

9 375 Kč

Porovnat nabídky

Arguing for a Better World: How to talk about the issues that divide us - Arianne Shahvisi

Arguing for a Better World: How to talk about the issues that divide us - Arianne Shahvisi

549 Kč

Porovnat nabídky

Symbolic Computation And Education

Symbolic Computation And Education

3 652 Kč

Porovnat nabídky

Automated Evaluation of Text and Discourse with Coh-Metrix - McNamara, Danielle S. (Institute for Intelligent Systems, The University of Memphis) a Graesser, Arthur C. (Institute for Intelligent Systems, The University of Memphis) a McCarthy, Philip M. (Institute for Intelligent Systems, The University of Memphis) a Cai,

Automated Evaluation of Text and Discourse with Coh-Metrix - McNamara, Danielle S. (Institute for Intelligent Systems, The University of Memphis) a Graesser, Arthur C. (Institute for Intelligent Systems, The University of Memphis) a McCarthy, Philip M. (Institute for Intelligent Systems, The University of Memphis) a Cai,

1 188 Kč

Porovnat nabídky

↑