Languages
Subject
Format
Clear 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
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
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
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
Clark Barrett, Uwe Waldmann - Automated Deduction – CADE 30
Clark Barrett, Uwe Waldmann Automated Deduction – CADE 30 English Paperback / Softback Fr. 55.90 Will be released 09.10.2025