Languages
Subject
Format
Availabity
Clear Authors

Search result

Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Fran Baader, Franz Baader, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 30.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
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
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
Nachum Dershowitz, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Nachum Dershowitz, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 14.04.2009 Paperback / Softback Fr. 70.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
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
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
Andre Voronkov, Andrei Voronkov - Rewriting Techniques and Applications
Andre Voronkov, Andrei Voronkov Rewriting Techniques and Applications English 29.01.2013 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
Amir Pnueli, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov - Perspectives of Systems Informatics
Amir Pnueli, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov Perspectives of Systems Informatics English 09.12.2009 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
Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke, Edmun M Clarke, Edmund M Clarke, Voronkov, Voronkov, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning English 03.11.2010 Paperback / Softback Fr. 70.00 6-7 weeks
Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov - Perspectives of System Informatics
Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov Perspectives of System Informatics English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
A.P. Ershov Institute of Informatics Systems, P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, Andre Voronkov... - Perspectives of System Informatics
A.P. Ershov Institute of Informatics Systems, P Ershov Institute of Informatic, Virbitskaite, Virbitskaite, Irina Virbitskaite, Andre Voronkov... Perspectives of System Informatics English 01.01.2015 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
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics English 18.01.2018 Paperback / Softback Sold out