Detail produktu

Produkt mají v nabídce:

Bookshop

1 469 Kč

Do eshopu

Metamathematics, Machines and Godel's Proof - Shankar, N. (SRI International, USA)

Describes the use of computer programs to check several proofs in the foundations of mathematics.

Podobné produkty

Trajectory Planning for Automatic Machines and Robots - Biagiotti, Luigi a Melchiorri, Claudio

Trajectory Planning for Automatic Machines and Robots - Biagiotti, Luigi a Melchiorri, Claudio

5 875 Kč

Porovnat nabídky

Trajectory Planning for Automatic Machines and Robots - Biagiotti, Luigi a Melchiorri, Claudio

Trajectory Planning for Automatic Machines and Robots - Biagiotti, Luigi a Melchiorri, Claudio

5 875 Kč

Porovnat nabídky

Godel's Proof - Nagel, Ernest a Newman, James R.

Godel's Proof - Nagel, Ernest a Newman, James R.

411 Kč

Porovnat nabídky

Godel's Proof - Nagel, Ernest a Newman, James R.

Godel's Proof - Nagel, Ernest a Newman, James R.

470 Kč

Porovnat nabídky

Types, Tableaus, and Godel's God - Fitting, M.

Types, Tableaus, and Godel's God - Fitting, M.

2 835 Kč

Porovnat nabídky

Introduction to Support Vector Machines and Other Kernel-based Learning Methods - Cristianini, Nello (University of London) a Shawe-Taylor, John (Royal Holloway, University of London)

Introduction to Support Vector Machines and Other Kernel-based Learning Methods - Cristianini, Nello (University of London) a Shawe-Taylor, John (Royal Holloway, University of London)

2 719 Kč

Porovnat nabídky

Basic Machines and How They Work - Personnel, United States Bureau of Naval

Basic Machines and How They Work - Personnel, United States Bureau of Naval

225 Kč

Porovnat nabídky

Ruling Distributed Dynamic Worlds - Sapaty, Peter (Institute of Mathematical Machines and Systems, National Academy of Sciences of Ukraine)

Ruling Distributed Dynamic Worlds - Sapaty, Peter (Institute of Mathematical Machines and Systems, National Academy of Sciences of Ukraine)

3 612 Kč

Porovnat nabídky

Electromechanical Systems, Electric Machines, and Applied Mechatronics - Lyshevski, Sergey Edward (Rochester Institute of Technology, New York, USA)

Electromechanical Systems, Electric Machines, and Applied Mechatronics - Lyshevski, Sergey Edward (Rochester Institute of Technology, New York, USA)

4 562 Kč

Porovnat nabídky

Minds, Machines and Evolution

Minds, Machines and Evolution

1 063 Kč

Porovnat nabídky

Machines and Economic Growth - McPherson, Natalie

Machines and Economic Growth - McPherson, Natalie

2 203 Kč

Porovnat nabídky

Machines and Thought

-9,1 %

Machines and Thought

4 375 Kč

~~4 813 Kč~~

Ušetříš 438 Kč

Porovnat nabídky

↑