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

Amy P. Felty, Middeldorp, Middeldorp, Aart Middeldorp, Am P Felty, Amy P Felty - Automated Deduction - CADE-25

Amy P. Felty, Middeldorp, Middeldorp, Aart Middeldorp, Am P Felty, Amy P Felty Automated Deduction - CADE-25 English 01.01.2015 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Aar Middeldorp, Aart Middeldorp, Sato, Sato, Taisuke Sato - Functional and Logic Programming

Aar Middeldorp, Aart Middeldorp, Sato, Sato, Taisuke Sato Functional and Logic Programming English 01.01.1960 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)

Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... - Processes, Terms and Cycles: Steps on the Road to Infinity

Roel de Vrijer, Aart Middeldorp, Vincent van Oostrom, Femke van Raamsdonk, Vincen van Oostrom, Vincent van Oostrom... Processes, Terms and Cycles: Steps on the Road to Infinity English 23.12.2005 Paperback / Softback Fr. 135.00 6-7 weeks

Aart Middeldorp - Rewriting Techniques and Applications

Aart Middeldorp Rewriting Techniques and Applications English 09.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks

Ken MacMillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Ken MacMillan, Ken McMillan, Aar Middeldorp, Aart Middeldorp, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.11.2013 Paperback / Softback Fr. 70.00 6-7 weeks