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

Geof Sutcliffe, Geoff Sutcliffe, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Geof Sutcliffe, Geoff Sutcliffe, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Mik Hermann, Miki Hermann, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Mik Hermann, Miki Hermann, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Rober Nieuwenhuis, Robert Nieuwenhuis, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Rober Nieuwenhuis, Robert Nieuwenhuis, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks

Irina Virbitskaite, Andrei Voronkov - Perspectives of Systems Informatics

Irina Virbitskaite, Andrei Voronkov Perspectives of Systems Informatics English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Moshe Vardi, Moshe Y. Vardi, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Moshe Vardi, Moshe Y. Vardi, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Matthias Baaz, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Matthias Baaz, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Andrei Voronkov - Automated Deduction - CADE-18

Andrei Voronkov Automated Deduction - CADE-18 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks

Iliano Cervesato, Helmu Veith, Helmut Veith, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning

Iliano Cervesato, Helmu Veith, Helmut Veith, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 12.04.2011 Paperback / Softback Fr. 135.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

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

J. Robinson, J. Alan Robinson, Andrei Voronkov - Handbook of Automated Reasoning

J. Robinson, J. Alan Robinson, Andrei Voronkov Handbook of Automated Reasoning English 01.01.2001 Hardback Sold out

1
2