Andrei Voronkov - Böcker

Visar alla böcker från författaren Andrei Voronkov.
33 produkter
Alan J.A. Robinson, Andrei Voronkov - Handbook of Automated Reasoning, Inbunden
Del 1 - Handbook of Automated Reasoning

Handbook of Automated Reasoning

Av Alan J.A. Robinson, Andrei Voronkov

Inbunden, Engelska, 2001

7 459 kr

Slutsåld
Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov - Perspectives of System Informatics, Häftad

Perspectives of System Informatics

Av Nikolaj Bjørner, Irina Virbitskaite, Andrei Voronkov

Häftad, Engelska, 2019

729 kr

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

Perspectives of System Informatics

Av Manuel Mazzara, Andrei Voronkov

Häftad, Engelska, 2016

729 kr

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

Perspectives of System Informatics

Av Alexander K. Petrenko, Andrei Voronkov

Häftad, Engelska, 2018

729 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Matthias Baaz, Andrei Voronkov

Häftad, Engelska, 2002

729 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Moshe Vardi, Andrei Voronkov

Häftad, Engelska, 2003

729 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Franz Baader, Andrei Voronkov

Häftad, Engelska, 2005

1 449 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Geoff Sutcliffe, Andrei Voronkov

Häftad, Engelska, 2005

1 449 kr

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

Logic for Programming and Automated Reasoning

Av Michel Parigot, Andrei Voronkov

Häftad, Engelska, 2000

709 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Robert Nieuwenhuis, Andrei Voronkov

Häftad, Engelska, 2001

1 449 kr

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

Automated Deduction - CADE-18

Av Andrei Voronkov

Häftad, Engelska, 2002

729 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Miki Hermann, Andrei Voronkov

Häftad, Engelska, 2006

1 449 kr

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

Logic Programming

Av Andrei Voronkov

Häftad, Engelska, 1992

729 kr

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

Logic Programming and Automated Reasoning

Av Andrei Voronkov

Häftad, Engelska, 1992

729 kr

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

Logic Programming and Automated Reasoning

Av Andrei Voronkov

Häftad, Engelska, 1993

729 kr

Skickas inom 7-10 vardagar
Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov - Transactions and Change in Logic Databases, Häftad
Del 1472 - Lecture Notes in Computer Science

Transactions and Change in Logic Databases

Av Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov

Häftad, Engelska, 1998

729 kr

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

Logic Programming and Automated Reasoning

Av Harald Ganzinger, David McAllester, Andrei Voronkov

Häftad, Engelska, 1999

729 kr

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

Rewriting Techniques and Applications

Av Andrei Voronkov

Häftad, Engelska, 2008

729 kr

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

Perspectives of Systems Informatics

Av Andrei Voronkov, Irina Virbitskaite

Häftad, Engelska, 2007

729 kr

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

Computer Science - Theory and Applications

Av Volker Diekert, Mikhail Volkov, Andrei Voronkov

Häftad, Engelska, 2007

729 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Nachum Dershowitz, Andrei Voronkov

Häftad, Engelska, 2007

729 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Iliano Cervesato, Helmut Veith, Andrei Voronkov

Häftad, Engelska, 2008

1 449 kr

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

Perspectives of Systems Informatics

Av Amir Pnueli, Andrei Voronkov, Irina Virbitskaite

Häftad, Engelska, 2010

729 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Christian G. Fermüller, Andrei Voronkov

Häftad, Engelska, 2010

1 449 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Edmund M. Clarke Jr., Andrei Voronkov, Edmund M. Clarke

Häftad, Engelska, 2011

729 kr

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

Logic for Programming, Artificial Intelligence, and Reasoning

Av Nikolaj Bjørner, Andrei Voronkov

Häftad, Engelska, 2012

729 kr

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

Perspectives of Systems Informatics

Av Edmund Clarke, Andrei Voronkov, Irina Virbitskaite

Häftad, Engelska, 2012

729 kr

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

Programming Logics

Av Andrei Voronkov, Christoph Weidenbach

Häftad, Engelska, 2013

729 kr

Skickas inom 7-10 vardagar