Detail produktu

Produkt mají v nabídce:

Bookshop

1 175 Kč

Do eshopu

Automated Reasoning with Analytic Tableaux and Related Methods

Produkt Automated Reasoning with Analytic Tableaux and Related Methods zakoupíte na Bookshop.cz od nakladatele Springer-Verlag Berlin and Heidelberg GmbH & Co. KG.

Podobné produkty

Automated Reasoning with Analytic Tableaux and Related Methods

1 322 Kč

Porovnat nabídky

Automated Reasoning and Mathematics

1 175 Kč

Porovnat nabídky

Automated Reasoning

1 322 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)

2 497 Kč

Porovnat nabídky

Automated Reasoning

2 644 Kč

Porovnat nabídky

Harness Oil and Gas Big Data with Analytics - Holdaway, Keith R.

1 689 Kč

Porovnat nabídky

Hyperbolic Systems with Analytic Coefficients - Nishitani, Tatsuo

1 322 Kč

Porovnat nabídky

Symbolic and Quantitative Approaches to Reasoning with Uncertainty

1 322 Kč

Porovnat nabídky

Reasoning with Law - Halpin, Andrew

1 375 Kč

Porovnat nabídky

Reasoning with Law - Halpin, Andrew

3 125 Kč

Porovnat nabídky

Reasoning With Who We Are - Redhead, Mark

3 750 Kč

Porovnat nabídky

Reasoning with Sabermetrics - Costa, Gabriel B. a Huber, Michael R. a Saccoman, John T.

687 Kč

Porovnat nabídky