Clear Languages
Subject
Format
Availabity
Authors

Search result

W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications English 18.10.2010 Paperback / Softback Fr. 236.00 1-2 weeks (title will be printed to order)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications English 18.10.2010 Paperback / Softback Fr. 188.00 1-2 weeks (title will be printed to order)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications English 18.10.2010 Paperback / Softback Fr. 236.00 1-2 weeks (title will be printed to order)
Wolfgang Bibel, Klaus P. Jantke - Mathematical Methods of Specification and Synthesis of Software Systems '85
Wolfgang Bibel, Klaus P. Jantke Mathematical Methods of Specification and Synthesis of Software Systems '85 English 31.12.1986 Hardback Fr. 160.00 3-5 weeks
Wolfgang Bibel - Automated Theorem Proving
Wolfgang Bibel Automated Theorem Proving English 01.01.1987 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
Wolfgan Bibel, Wolfgang Bibel - Fundamentals of Artificial Intelligence
Wolfgan Bibel, Wolfgang Bibel Fundamentals of Artificial Intelligence English 22.04.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ernst A. Heinz, Wolfgang Bibel, Rudolf Kruse - Scalable Search in Computer Chess
Ernst A. Heinz, Wolfgang Bibel, Rudolf Kruse Scalable Search in Computer Chess English 14.12.1999 Paperback / Softback Fr. 134.00 1-2 weeks (title will be printed to order)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, KOWALSKI, Kowalski, R. Kowalski - 5th Conference on Automated Deduction
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, KOWALSKI, Kowalski, R. Kowalski 5th Conference on Automated Deduction English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Wolfgan Bibel, Wolfgang Bibel, Klaus P Jantke, Klaus P. Jantke, P Jantke, P Jantke - Mathematical Methods of Specification and Synthesis of Software Systems '85
Wolfgan Bibel, Wolfgang Bibel, Klaus P Jantke, Klaus P. Jantke, P Jantke, P Jantke Mathematical Methods of Specification and Synthesis of Software Systems '85 English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Wolfgan Bibel, Wolfgang Bibel, A Biermann, A W Biermann, A. W. Biermann, A.W. Biermann... - Fundamentals of Artificial Intelligence
Wolfgan Bibel, Wolfgang Bibel, A Biermann, A W Biermann, A. W. Biermann, A.W. Biermann... Fundamentals of Artificial Intelligence English 29.06.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications English 06.12.2012 Hardback Fr. 238.00 2-3 weeks (title will be printed to order)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt... Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications English 29.01.2013 Hardback Fr. 236.00 2-3 weeks (title will be printed to order)
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt - Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
W. Bibel, Wolfgan Bibel, Wolfgang Bibel, H Schmitt, H Schmitt, P. H. Schmitt Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications English 06.12.2012 Hardback Fr. 188.00 2-3 weeks (title will be printed to order)
W. Bibel, Wolfgang Bibel, P. H. Schmitt, P.H. Schmitt, Peter H. Schmitt - Automated Deduction, 3 Vols.
W. Bibel, Wolfgang Bibel, P. H. Schmitt, P.H. Schmitt, Peter H. Schmitt Automated Deduction, 3 Vols. English 01.03.2013 Book Fr. 549.60 at least 4 weeks (title will be specially ordered)
Axe Angeli, Axel Angeli, Robi Gonfalonieri, Ulric Streit, Ulrich Streit, Wolfgan Bibel... - The SAP R/3® Guide to EDI and Interfaces
Axe Angeli, Axel Angeli, Robi Gonfalonieri, Ulric Streit, Ulrich Streit, Wolfgan Bibel... The SAP R/3® Guide to EDI and Interfaces English 01.01.2014 Paperback / Softback Fr. 69.00 6-7 weeks
David A. Plaisted, Yunshan Zhu, Wolfgang Bibel, Rudolf Kruse - The Efficiency of Theorem Proving Strategies
David A. Plaisted, Yunshan Zhu, Wolfgang Bibel, Rudolf Kruse The Efficiency of Theorem Proving Strategies English 28.10.1999 Paperback / Softback Fr. 69.00 6-7 weeks