Static Analysis: 4th...
Pascal Van Hentenryck (Editor)
Buy new from $51.65
|
Computational Logic and Proof...
Georg Gottlob (Editor),
Alexander Leitsch (Editor)
Buy new from $51.65
|
Automated Reasoning with...
Didier Galmiche (Editor)
Buy new from $51.65
|
Principles and Practice of...
Toby Walsh (Editor)
Buy new from $103.32
eBook from $29.70
|
Types for Proofs and Programs...
Henk Barendregt (Editor),
Tobias Nipkow (Editor)
Buy new from $51.65
|
Grammatical Inference:...
Arlindo L Oliveira (Editor)
Buy new from $51.64
|
Types for Proofs and Programs...
Thorsten Altenkirch (Editor),
Wolfgang Naraschewski (Editor)
Buy new from $51.64
|
Fault-Tolerant Distributed...
Barbara Simons (Editor),
Alfred Spector (Editor)
Buy new from $51.65
|
The Tbilisi Symposium on...
Jonathan Ginzburg (Editor),
Zurab Khasidashvili (Editor)
Buy new from $40.80
|
Inductive Logic Programming:...
Stephen H. Muggleton (Editor),
Alireza Tamaddoni-Nezhad (Editor)
Buy new from $56.34
eBook from $18.00
|
Combinators and Functional...
Guy Cousineau (Editor),
Pierre-Louis Curien (Editor)
Buy new from $46.96
|
OpenMP: Advanced Task-Based,...
Simon McIntosh-Smith (Editor),
Michael Klemm (Editor)
Buy new from $65.74
eBook from $21.00
|
Digital Satellite...
Giovanni E Corazza (Editor)
Buy new from $214.08
|
Intelligent Agents VII. Agent...
Cristiano Castelfranchi (Editor),
Yves Lesperance (Editor)
Buy new from $51.65
eBook from $16.50
|
Reversible Computation: 4th...
Robert Glück (Editor),
Tetsuo Yokoyama (Editor)
Buy new from $46.96
eBook from $15.00
|
OpenMP in a Heterogeneous...
Barbara Chapman (Editor),
Federico Massaioli (Editor)
Buy new from $51.65
|
Logic Programming and...
Luis Moniz Pereira (Editor),
Teodor C Przymusinski (Editor)
Buy new from $51.64
|
Colog-88: International...
Per Martin-Löf (Editor),
Grigori Mints (Editor)
Buy new from $51.65
|
Principles and Practice of...
Michael Maher (Editor),
Jean-Francois Puget (Editor)
Buy new from $103.32
|
Executable Modal and Temporal...
Michael Fisher, LL. (Editor),
Richard Owens (Editor)
Buy new from $51.65
|
Logic Programming: The 14th...
Lee Naish (Editor)
Buy new from $7.60
|
Programming Language...
Maurice Bruynooghe (Editor),
Martin Wirsing (Editor)
Buy new from $51.65
|
Interactive Theorem Proving:...
Marko Van Eekelen (Editor),
Herman Geuvers (Editor)
Buy new from $51.65
eBook from $16.50
|
Meta-Programming in Logic
A Pettorossi
Buy new from $130.88
|
