Languages
Subject
Format
Availabity
Authors

Search result

Nicoleta Neagu, Nicoletta Neagu - Constraint Satisfaction Techniques for Agent-Based Reasoning
Nicoleta Neagu, Nicoletta Neagu Constraint Satisfaction Techniques for Agent-Based Reasoning English 01.01.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Valeria de Paiva, Koepke, Peter Koepke - Intelligent Computer Mathematics
Valeria de Paiva, Koepke, Peter Koepke Intelligent Computer Mathematics English 07.11.2025 Paperback / Softback Fr. 169.00 6-7 weeks
Florian Esposito, Floriana Esposito, Floriano Esposito - AI*IA 2001: Advances in Artificial Intelligence
Florian Esposito, Floriana Esposito, Floriano Esposito AI*IA 2001: Advances in Artificial Intelligence English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Susanne Biundo, T. Frühwirth, Tho Frühwirth, Thom Frühwirth, G. Palm, Günther Palm - KI 2004: Advances in Artificial Intelligence
Susanne Biundo, T. Frühwirth, Tho Frühwirth, Thom Frühwirth, G. Palm, Günther Palm KI 2004: Advances in Artificial Intelligence English 17.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Marco Console, Konev, Boris Konev - Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic
Marco Console, Konev, Boris Konev Reasoning Web. Declarative Artificial Intelligence: Knowledge, Rules, Logic English 15.01.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... - Automated Reasoning
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... Automated Reasoning English 05.09.2024 Paperback / Softback Fr. 56.90 6-7 weeks
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi - Verification, Model Checking, and Abstract Interpretation
Shankaranarayanan Krishna, Krishna S., Sriram Sankaranarayanan, Krishna Shankaranarayanan, Ashutosh Trivedi Verification, Model Checking, and Abstract Interpretation English 27.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
René Thiemann, Weidenbach, Christoph Weidenbach - Frontiers of Combining Systems
René Thiemann, Weidenbach, Christoph Weidenbach Frontiers of Combining Systems English 03.10.2025 Paperback / Softback Fr. 56.90 6-7 weeks
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis English 13.02.2025 Paperback / Softback Fr. 189.00 6-7 weeks
Wolfgang Schreiner - Thinking Programs
Wolfgang Schreiner Thinking Programs English 05.09.2025 Hardback Fr. 97.00 6-7 weeks
C Cardoso, Rafael C. Cardoso, Angelo Ferrando - Agents and Robots for reliable Engineered Autonomy
C Cardoso, Rafael C. Cardoso, Angelo Ferrando Agents and Robots for reliable Engineered Autonomy English 11.11.2025 Paperback / Softback Fr. 83.00 6-7 weeks
LANGLAIS, Langlais, Philippe Langlais, Male Mouhoub, Malek Mouhoub - Advances in Artificial Intelligence
LANGLAIS, Langlais, Philippe Langlais, Male Mouhoub, Malek Mouhoub Advances in Artificial Intelligence English 31.05.2017 Paperback / Softback Fr. 70.00 6-7 weeks
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan - Automated Technology for Verification and Analysis
S Akshay, S. Akshay, Aina Niemetz, Sriram Sankaranarayanan Automated Technology for Verification and Analysis English 13.02.2025 Paperback / Softback Fr. 169.00 6-7 weeks
Esra Erdem, Vidal, Germán Vidal - Practical Aspects of Declarative Languages
Esra Erdem, Vidal, Germán Vidal Practical Aspects of Declarative Languages English 22.03.2025 Paperback / Softback Fr. 82.00 6-7 weeks
Giovanni Casini, Besik Dundua, Temur Kutsia - Logics in Artificial Intelligence
Giovanni Casini, Besik Dundua, Temur Kutsia Logics in Artificial Intelligence English 03.10.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Giovanni Casini, Besik Dundua, Temur Kutsia - Logics in Artificial Intelligence
Giovanni Casini, Besik Dundua, Temur Kutsia Logics in Artificial Intelligence English 03.10.2025 Paperback / Softback Fr. 92.00 6-7 weeks
Meenakshi D´Souza, Raghavan Komondoor, B Srivathsan, B. Srivathsan - Automated Technology for Verification and Analysis
Meenakshi D´Souza, Raghavan Komondoor, B Srivathsan, B. Srivathsan Automated Technology for Verification and Analysis English, German Paperback / Softback Fr. 112.00 Will be released 31.12.2025
Ferruccio Damiani, Farrell, Marie Farrell - Integrated Formal Methods
Ferruccio Damiani, Farrell, Marie Farrell Integrated Formal Methods English Paperback / Softback Fr. 91.00 Will be released 24.01.2026
Hasan Dag, Hasan Dağ, Hasan Dag et al, Aidan Hogan, Dumitru Roman, Ken Satoh... - Rules and Reasoning
Hasan Dag, Hasan Dağ, Hasan Dag et al, Aidan Hogan, Dumitru Roman, Ken Satoh... Rules and Reasoning English Paperback / Softback Fr. 81.00 Will be released 02.12.2025