Lingue
Categoria
Format
disponibilità
Resettare Autori

Risultato ricerca

Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics
Alexander K. Petrenko, Andrei Voronkov Perspectives of System Informatics Inglese 18.01.2018 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Nikolaj Bjørner, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Nikolaj Bjørner, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 24.02.2012 Tascabile Fr. 70.00 6-7 settimane
Nachum Dershowitz, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Nachum Dershowitz, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 14.04.2009 Tascabile Fr. 70.00 6-7 settimane
Matthias Baaz, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Matthias Baaz, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 30.06.2009 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
Andrei Voronkov - Automated Deduction - CADE-18
Andrei Voronkov Automated Deduction - CADE-18 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Irina Virbitskaite, Andrei Voronkov - Perspectives of Systems Informatics
Irina Virbitskaite, Andrei Voronkov Perspectives of Systems Informatics Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 12.04.2011 Tascabile Fr. 135.00 6-7 settimane
Andre Voronkov, Andrei Voronkov - Rewriting Techniques and Applications
Andre Voronkov, Andrei Voronkov Rewriting Techniques and Applications Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 09.12.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.11.2013 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 03.11.2010 Tascabile Fr. 70.00 6-7 settimane
Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov - Perspectives of System Informatics
Manue Mazzara, Manuel Mazzara, Voronkov, Voronkov, Andrei Voronkov Perspectives of System Informatics Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Edmund Clarke, Edmund M. Clarke, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov - Perspectives of Systems Informatics
Edmund Clarke, Edmund M. Clarke, Irin Virbitskaite, Irina Virbitskaite, Voronkov, Andrei Voronkov Perspectives of Systems Informatics Inglese 13.04.2012 Tascabile Fr. 70.00 6-7 settimane
Andre Voronkov, Andrei Voronkov, Weidenbach, Weidenbach, Christoph Weidenbach - Programming Logics
Andre Voronkov, Andrei Voronkov, Weidenbach, Weidenbach, Christoph Weidenbach Programming Logics Inglese 22.03.2013 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 01.01.2015 Tascabile Fr. 70.00 6-7 settimane