Detail produktu

Produkt mají v nabídce:

Bookshop

1 660 Kč

Do eshopu

Automated Theorem Proving

Produkt Automated Theorem Proving zakoupíte na Bookshop.cz od nakladatele American Mathematical Society.

Podobné produkty

Automated Reasoning and Mathematics

Automated Reasoning and Mathematics

1 175 Kč

Porovnat nabídky

Logic for Computer Scientists - Schoning, Uwe

Logic for Computer Scientists - Schoning, Uwe

1 674 Kč

Porovnat nabídky

Rippling: Meta-Level Guidance for Mathematical Reasoning - Bundy, Alan (University of Edinburgh) a Basin, David (ETH Zentrum, Switzerland) a Hutter, Dieter a Ireland, Andrew (Heriot-Watt University, Edinburgh)

Rippling: Meta-Level Guidance for Mathematical Reasoning - Bundy, Alan (University of Edinburgh) a Basin, David (ETH Zentrum, Switzerland) a Hutter, Dieter a Ireland, Andrew (Heriot-Watt University, Edinburgh)

3 625 Kč

Porovnat nabídky

Interactive Theorem Proving

Interactive Theorem Proving

1 322 Kč

Porovnat nabídky

Interactive Theorem Proving

Interactive Theorem Proving

1 322 Kč

Porovnat nabídky

Proving History - Carrier, Richard C.

Proving History - Carrier, Richard C.

531 Kč

Porovnat nabídky

Formal Methods in Artificial Intelligence - Ramsay, Allan M. (University College Dublin)

Formal Methods in Artificial Intelligence - Ramsay, Allan M. (University College Dublin)

1 344 Kč

Porovnat nabídky

Deductive and Declarative Programming - Padawitz, Peter

Deductive and Declarative Programming - Padawitz, Peter

1 469 Kč

Porovnat nabídky

Logic and Computation - Paulson, Lawrence C. (University of Cambridge)

Logic and Computation - Paulson, Lawrence C. (University of Cambridge)

1 719 Kč

Porovnat nabídky

Introduction to Modern Prime Number Theory - Estermann, T. (University of London)

Introduction to Modern Prime Number Theory - Estermann, T. (University of London)

1 375 Kč

Porovnat nabídky

Conics and Cubics - Bix, Robert

Conics and Cubics - Bix, Robert

1 909 Kč

Porovnat nabídky

Foundations of Mathematics - Sibley, Thomas Q.

Foundations of Mathematics - Sibley, Thomas Q.

6 255 Kč

Porovnat nabídky

↑