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

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)

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, 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)