Logic for Programming, Artificial Intelligence, and Reasoning

Loading edition detail...

Preparing this view.

Logic for Programming, Artificial Intelligence, and Reasoning

Geoff Sutcliffe, Andrei Voronkov

Bookitis Pick

Logic for Programming, Artificial Intelligence, and ReasoningGeoff Sutcliffe, Andrei Voronkov

Geoff Sutcliffe, Andrei VoronkovPublished 20051 title views

This page shows the publication-specific record: publisher, date, identifiers, and all of the context needed to decide whether this is the copy you want.

Main catalog entry More like this

Publisher	Springer London, Limited
Search language	english
ISBN_13	978-3-540-31650-3 primary

Other editions of this title

Publication-specific alternatives linked to the same work.

LF
Image source: Open Library
Logic for Programming, Artificial Intelligence, and Reasoning
Springer | November 5, 2003
1 views
Logic for Programming, Artifici...Christian G. Fermüller, Andrei Voronkov
LF
Logic for Programming, Artificial Intelligence, and Reasoning
Christian G. Fermüller, Andrei Voronkov | Springer London, Limited | 2010
Logic for Programming, Artifici...Edmund M. Clarke, Andrei Voronkov
LF
Logic for Programming, Artificial Intelligence, and Reasoning
Edmund M. Clarke, Andrei Voronkov | Springer | 2010
Logic for Programming, Artifici...Iliano Cervesato, Helmut Veith, Andrei Voronkov
LF
Logic for Programming, Artificial Intelligence, and Reasoning
Iliano Cervesato, Helmut Veith, Andrei Voronkov | Springer | 2008
Logic for Programming, Artifici...Nachum Dershowitz, Andrei Voronkov
LF
Logic for Programming, Artificial Intelligence, and Reasoning
Nachum Dershowitz, Andrei Voronkov | Springer London, Limited | 2007
Logic for Programming, Artifici...Miki Hermann, Andrei Voronkov
LF
Logic for Programming, Artificial Intelligence, and Reasoning
Miki Hermann, Andrei Voronkov | Springer London, Limited | 2006
Logic for Programming, Artifici...Franz Baader, Andrei Voronkov
LF
Logic for Programming, Artificial Intelligence, and Reasoning
Franz Baader, Andrei Voronkov | Springer London, Limited | 2005
Logic for Programming, Artifici...Moshe Vardi, Andrei Voronkov
LF
Logic for Programming, Artificial Intelligence, and Reasoning
Moshe Vardi, Andrei Voronkov | Springer | 2003
Logic for Programming, Artifici...Robert Nieuwenhuis, Andrei Voronkov
LF
Logic for Programming, Artificial Intelligence, and Reasoning
Robert Nieuwenhuis, Andrei Voronkov | Springer | 2003