Logic Programming and...
Ulrich Furbach (Editor),
Anil Nerode (Editor)
Buy new from $60.44
|
Computer Science Logic: 10th...
Dirk Van Dalen (Editor),
Marc Bezem (Editor)
Buy new from $60.44
|
Computer Aided Verification:...
Orna Grumberg (Editor)
Buy new from $60.57
|
Rewriting Techniques and...
Hubert Comon (Editor)
Buy new from $60.37
|
Automated Reasoning with...
Didier Galmiche (Editor)
Buy new from $60.57
|
Non-Monotonic Extensions of...
Juergen Dix (Editor),
Luis Moniz Pereira (Editor)
Buy new from $60.57
|
Logic Program Synthesis and...
John Gallagher (Editor)
Buy new from $60.44
|
Perspectives of System...
Dines Bjørner (Editor),
Manfred Broy (Editor)
Buy new from $60.44
|
Concurrency and Parallelism,...
Joxan Jaffar (Editor),
Roland H C Yap (Editor)
Buy new from $67.55
|
Logic in Databases:...
Dino Pedreschi (Editor),
Carlo Zaniolo (Editor)
Buy new from $60.44
|
Types for Proofs and Programs...
Stefano Berardi (Editor),
Mario Coppo (Editor)
Buy new from $60.44
|
Formal Methods in Computer...
Mandayam Srivas (Editor),
Albert Camilleri (Editor)
Buy new from $60.44
|
Static Analysis: Third...
Radhia Cousot (Editor),
David a Schmidt (Editor)
Buy new from $60.44
|
Algebraic and Logic...
Michael Hanus (Editor),
Mario Rodriguez-Artalejo (Editor)
Buy new from $60.57
|
Conceptual Modeling - Er '96:...
Bernhard Thalheim (Editor)
Buy new from $60.57
|
Programming Languages:...
Herbert Kuchen (Editor),
S Doaitse Swierstra (Editor)
Buy new from $60.44
|
Logics in Artificial...
Jose Julio Alferes (Editor),
Luis Moniz Pereira (Editor)
Buy new from $60.65
|
Principles and Practice of...
Eugene C Freuder (Editor)
Buy new from $60.57
|
Over-Constrained Systems
Michael Jampel (Editor),
Eugene Freuder (Editor)
Buy new from $60.44
|
Rewriting Techniques and...
Harald Ganzinger (Editor)
Buy new from $60.57
|
Deductive Program Design
Manfred Broy (Editor)
Buy new from $215.66
|
Algebraic Methodology and...
Martin Wirsing (Editor),
Maurice Nivat (Editor)
Buy new from $112.32
|
Higher-Order Algebra, Logic,...
Gilles Dowek (Editor),
Jan Heering (Editor)
Buy new from $60.57
|
Methods Integration:...
Antony Bryant (Editor),
L T Semmens (Editor)
Buy new from $67.62
|
