Graph-Based Proof Procedures...
Raatz
Buy new from $51.65
|
Logic Programming:...
Saumya Debray (Editor),
Manuel Hermenegildo (Editor)
Buy new from $125.58
|
Programming Language...
Pierre Deransart (Editor),
Jan Maluszynski (Editor)
Buy new from $51.65
|
Termination Proofs for Logic...
Lutz Plümer
Buy new from $51.65
|
Meta-Programming in Logic...
Harvey Abramson (Editor),
M H Rogers (Editor)
Buy new from $74.15
|
From Modal Logic to Deductive...
Paul Gochet,
Eric Gregoire
Buy new from $119.30
|
Zur Logik Der Logik...
Clemens Beckstein
Buy new from $65.75
|
From Standard Logic to Logic...
Paul Gochet,
Eric Gregoire
Buy new from $15.66
|
Computing with Logic: Logic...
David Maier,
David S Warren
Buy new from $175.62
|
Logic Programming '86:...
Eiiti Wada (Editor)
Buy new from $51.65
|
Logic Programming: A...
I Balbin (Editor),
K Lecot (Editor)
Buy new from $103.32
|
Termination Proofs for Logic...
Lutz Plumer
Buy new from $114.50
|
Logic Programming:...
David H D Warren (Editor),
Peter Szeredi (Editor)
Buy new from $58.17
|
PROLOG Versus You: An...
Anne L Johansson,
A Eriksson-Granskog
Buy new from $75.57
|
Why PROLOG?: Justifying Logic...
Gregory L Lazarev
Buy new from $134.42
|
From Logic Design to Logic...
Dominique Snyers
Buy new from $127.24
|
Computer Logic Experiments
Sung C Hu
Buy new from $33.93
|
Logic Programming:...
Jean-Louis Lassez
Buy new from $73.43
|
Logic Programming and...
Tore Amble
Buy new from $83.60
|
Third International...
Ehud Y Shapiro
Buy new from $166.60
|
