Languages
Subject
Format
Availabity
Authors

Search result

D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... - Mechanizing Mathematical Reasoning
D. Hutter, Diete Hutter, Dieter Hutter, Stephan, Stephan, W. Stephan... Mechanizing Mathematical Reasoning English 26.04.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Ruy de Queiroz, Rosalie Iemhoff, Michae Moortgat, Michael Moortgat - Logic, Language, Information, and Computation
Ruy de Queiroz, Rosalie Iemhoff, Michae Moortgat, Michael Moortgat Logic, Language, Information, and Computation English 01.01.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos - Mathematical Aspects of Computer and Information Sciences
Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos Mathematical Aspects of Computer and Information Sciences English 21.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Rober Nieuwenhuis, Robert Nieuwenhuis - Automated Deduction - CADE-20
Rober Nieuwenhuis, Robert Nieuwenhuis Automated Deduction - CADE-20 English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar - Theorem Proving in Higher Order Logics
Victor A. Carreno, Cesar A. Munoz, Sofiene Tahar Theorem Proving in Higher Order Logics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Karsten Konrad - Model Generation for Natural Language Interpretation and Analysis
Karsten Konrad Model Generation for Natural Language Interpretation and Analysis English 11.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Alan Blackwell, Ki Marriott, Kim Marriott, Atsushi Shimojima - Diagrammatic Representation and Inference
Alan Blackwell, Ki Marriott, Kim Marriott, Atsushi Shimojima Diagrammatic Representation and Inference English 16.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
J. J. Alferes, Jose Alferes, Jose J. Alferes, Jose Julio Alferes, Jos Julio Alferes, Jose Julio Alferes... - Logics in Artificial Intelligence
J. J. Alferes, Jose Alferes, Jose J. Alferes, Jose Julio Alferes, Jos Julio Alferes, Jose Julio Alferes... Logics in Artificial Intelligence English 18.08.2005 Paperback / Softback Fr. 135.00 6-7 weeks
Edwin Brady, Cezary Kaliszyk, Andrea Kohlhase, Claudio Sacerdoti Coen - Intelligent Computer Mathematics
Edwin Brady, Cezary Kaliszyk, Andrea Kohlhase, Claudio Sacerdoti Coen Intelligent Computer Mathematics English 03.07.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Masami Hagiya, Azuma Ohuchi - DNA Computing
Masami Hagiya, Azuma Ohuchi DNA Computing English 05.02.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan - Modeling and Verification of Parallel Processes
Franck Cassez, Claude Jard, Brigitte Rozoy, Mark D. Ryan Modeling and Verification of Parallel Processes English 24.10.2001 Paperback / Softback Fr. 60.90 6-7 weeks
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan - Computer Aided Verification
Swara Chaudhuri, Swarat Chaudhuri, Farzan, Farzan, Azadeh Farzan Computer Aided Verification English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Pasca Fontaine, Pascal Fontaine - Automated Deduction - CADE 27
Pasca Fontaine, Pascal Fontaine Automated Deduction - CADE 27 English 31.10.2019 Paperback / Softback Fr. 110.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
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
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 01.01.2015 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
Aaron Dutle, Laura Humphrey, Laura Titolo - NASA Formal Methods
Aaron Dutle, Laura Humphrey, Laura Titolo NASA Formal Methods English Paperback / Softback Fr. 168.00 Will be released 06.08.2025