Here, what we could find on your book search:

Igor Walukiewicz

If you are not able to find that specific book from the book comparison result below, try to refine your search keyword. Like, search for Book title and author together. For best results type in the books ISBN (ISBN 10 or ISBN 13).

Logic for Programming, Artificial Intelligence, and Reasoning

Logic for Programming, Artificial Intelligence, and Reasoning

Franz Baader and Andrei Voronkov

Check Price (5 deals)
Logic and the Modalities in the Twentieth Century

Logic and the Modalities in the Twentieth Century

Dov M. Gabbay and John Woods

Check Price (8 deals)
Data Refinement

Data Refinement

W.-P. de Roever and Kai Engelhardt

Check Price (8 deals)
Descriptive Set Theoretic Methods in Automata Theory

Descriptive Set Theoretic Methods in Automata Theory

Michał Skrzypczak

Check Price (7 deals)
Algebraic Methodology and Software Technology

Algebraic Methodology and Software Technology

Helene Kirchner and Christophe Ringeissen

Check Price (9 deals)
Tools and Algorithms for the Construction and Analysis of Systems

Tools and Algorithms for the Construction and Analysis of Systems

Sriram Sankaranarayanan and Natasha Sharygina

Check Price (6 deals)
Computer Science Logic

Computer Science Logic

Matthias Baaz, Johann A. Makowsky and European Association for Computer Science Logic. Conference

Check Price (3 deals)
STACS 2007

STACS 2007

Wolfgang Thomas

Check Price (2 deals)

BOOKS. STORIES. TALK SHOWS. LIFE LESSONS.

Try Amazon Audible today for FREE. Cancel anytime

Start for free now