Andrei Voronkov - Böcker

Visar alla böcker från författaren Andrei Voronkov.
32 produkter
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov - Perspectives of System Informatics, Häftad

Häftad, Engelska, 2019

729 kr

Skickas inom 10-15 vardagar
Manuel Mazzara, Andrei Voronkov - Perspectives of System Informatics, Häftad

Häftad, Engelska, 2016

729 kr

Skickas inom 10-15 vardagar
Alexander K. Petrenko, Andrei Voronkov - Perspectives of System Informatics, Häftad

Häftad, Engelska, 2018

729 kr

Skickas inom 10-15 vardagar
Matthias Baaz, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar
Moshe Vardi, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2003

729 kr

Skickas inom 10-15 vardagar
Franz Baader, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2005

1 449 kr

Skickas inom 10-15 vardagar
Geoff Sutcliffe, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2005

1 449 kr

Skickas inom 10-15 vardagar
Michel Parigot, Andrei Voronkov - Logic for Programming and Automated Reasoning, Häftad

Häftad, Engelska, 2000

709 kr

Skickas inom 10-15 vardagar
Robert Nieuwenhuis, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2001

1 449 kr

Skickas inom 10-15 vardagar
Andrei Voronkov - Automated Deduction - CADE-18, Häftad

Häftad, Engelska, 2002

729 kr

Skickas inom 10-15 vardagar
Miki Hermann, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2006

1 449 kr

Skickas inom 10-15 vardagar
Andrei Voronkov - Logic Programming, Häftad

Häftad, Engelska, 1992

729 kr

Skickas inom 10-15 vardagar
Andrei Voronkov - Logic Programming and Automated Reasoning, Häftad

Häftad, Engelska, 1992

709 kr

Skickas inom 10-15 vardagar
Andrei Voronkov - Logic Programming and Automated Reasoning, Häftad

Häftad, Engelska, 1993

709 kr

Skickas inom 10-15 vardagar
Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov - Transactions and Change in Logic Databases, Häftad

Häftad, Engelska, 1998

729 kr

Skickas inom 10-15 vardagar
Harald Ganzinger, David McAllester, Andrei Voronkov - Logic Programming and Automated Reasoning, Häftad

Häftad, Engelska, 1999

729 kr

Skickas inom 10-15 vardagar
Andrei Voronkov - Rewriting Techniques and Applications, Häftad

Häftad, Engelska, 2008

729 kr

Skickas inom 10-15 vardagar
Andrei Voronkov, Irina Virbitskaite - Perspectives of Systems Informatics, Häftad

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar
Volker Diekert, Mikhail Volkov, Andrei Voronkov - Computer Science - Theory and Applications, Häftad

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar
Nachum Dershowitz, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2007

729 kr

Skickas inom 10-15 vardagar
Iliano Cervesato, Helmut Veith, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2008

1 449 kr

Skickas inom 10-15 vardagar
Amir Pnueli, Andrei Voronkov, Irina Virbitskaite - Perspectives of Systems Informatics, Häftad

Häftad, Engelska, 2010

729 kr

Skickas inom 10-15 vardagar
Christian G. Fermüller, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2010

1 449 kr

Skickas inom 10-15 vardagar
Edmund M. Clarke Jr., Andrei Voronkov, Edmund M. Clarke - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar
Nikolaj Bjørner, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar
Edmund Clarke, Andrei Voronkov, Irina Virbitskaite - Perspectives of Systems Informatics, Häftad

Häftad, Engelska, 2012

729 kr

Skickas inom 10-15 vardagar
Andrei Voronkov, Christoph Weidenbach - Programming Logics, Häftad

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar
Ken McMillan, Aart Middeldorp, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning, Häftad

Häftad, Engelska, 2013

729 kr

Skickas inom 10-15 vardagar
Andrei Voronkov, A P Ershov Institute of Informatics Syst, Irina Virbitskaite - Perspectives of System Informatics, Häftad

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar