Search result - Books - CeDe.ch

Your contact at CeDe

Any questions, tips, praise or criticism? Your feedback helps us to make CeDe.ch even better. That's why we are pleased to receive every message and answer all our emails quickly, competently and willingly. Thank you!

This site uses cookies. Read our privacy policy to learn more about how we use cookies and how you can change your preferences. OK

Top service and free shipping since 1997

Search result

Peter Schuster & Helmut S Klaus Mainzer, Helmut Schwichtenberg, Klaus Mainzer, Klaus Mainzer, Mainzer Klaus, Peter Michael Schuster... - Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification

Peter Schuster & Helmut S Klaus Mainzer, Helmut Schwichtenberg, Klaus Mainzer, Klaus Mainzer, Mainzer Klaus, Peter Michael Schuster... Proof And Computation Ii: From Proof Theory And Univalent Mathematics To Program Extraction And Verification English 31.08.2021 Hardback Fr. 219.00 1-3 weeks (not available at short notice)

Klaus Mainzer, Klaus Mainzer, Mainzer Klaus - Artificial Intelligence Of Neuromorphic Systems: From Digital, Analogue, Quantum, And Brain-oriented Computing To Hybrid Ai

Klaus Mainzer, Klaus Mainzer, Mainzer Klaus Artificial Intelligence Of Neuromorphic Systems: From Digital, Analogue, Quantum, And Brain-oriented Computing To Hybrid Ai English 15.12.2024 Hardback Fr. 219.00 1-3 weeks (not available at short notice)

Stefania Centrone, Centrone Stefania, Klaus Mainzer, Stefania Centrone Klaus Mainzer, Klaus Mainzer, Mainzer Klaus... - Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing

Stefania Centrone, Centrone Stefania, Klaus Mainzer, Stefania Centrone Klaus Mainzer, Klaus Mainzer, Mainzer Klaus... Temporal Logic: From Philosophy And Proof Theory To Artificial Intelligence And Quantum Computing English 01.06.2023 Hardback Fr. 115.00 1-3 weeks (not available at short notice)

Schwichtenberg Helmut, Peter Schuster & Helmut S Klaus Mainzer, Klaus Mainzer Et Al, Schwichtenberg Helmut, Klaus Mainzer, Mainzer Klaus... - Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy

Schwichtenberg Helmut, Peter Schuster & Helmut S Klaus Mainzer, Klaus Mainzer Et Al, Schwichtenberg Helmut, Klaus Mainzer, Mainzer Klaus... Proof And Computation: Digitization In Mathematics, Computer Science, And Philosophy English 30.07.2018 Hardback Fr. 165.00 1-3 weeks (not available at short notice)

Klaus Mainzer, Mainzer Klaus - Complex Systems, Artificial Intelligence, And Emerging Technologies: Innovation In The 21st Century

Klaus Mainzer, Mainzer Klaus Complex Systems, Artificial Intelligence, And Emerging Technologies: Innovation In The 21st Century English Hardback Fr. 115.00 Will be released 19.12.2025