Here, what we could find on your book search:

Roy Dyckhoff

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).

Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Serenella Cerrito and Andrei Popescu

Check Price (2 deals)
Logic-Based Program Synthesis and Transformation

Logic-Based Program Synthesis and Transformation

Maribel Fernández

Check Price (9 deals)
Advances in Proof-Theoretic Semantics

Advances in Proof-Theoretic Semantics

Thomas Piecha and Peter Schroeder-Heister

Check Price (10 deals)
Proof Search in Multi-Agent Dialogues for Modal Logic

Proof Search in Multi-Agent Dialogues for Modal Logic

Martin Sticht

Check Price (7 deals)
Automated Deduction - CADE-18

Automated Deduction - CADE-18

Andrei Voronkov

Check Price (7 deals)
Automated Reasoning with Analytic Tableaux and Related Methods

Automated Reasoning with Analytic Tableaux and Related Methods

Harrie de Swart

Check Price (7 deals)
The Humanities Computing Yearbook 1989-1990

The Humanities Computing Yearbook 1989-1990

Ian Lancashire

Check Price (2 deals)

LISTENING IS THE NEW READING

Try Amazon Audible today for FREE. Cancel anytime

Start for free now