Graph-Based Proof Procedures...
Raatz
Buy from $51.65
|
Logic Programming:...
Saumya Debray (Editor),
Manuel Hermenegildo (Editor)
Buy from $50.01
|
Programming Language...
Pierre Deransart (Editor),
Jan Maluszynski (Editor)
Buy from $4.12
|
Termination Proofs for Logic...
Lutz Plümer
Buy from $28.52
|
Meta-Programming in Logic...
Harvey Abramson (Editor),
M H Rogers (Editor)
Buy from $74.15
|
From Modal Logic to Deductive...
Paul Gochet,
Eric Gregoire
Buy from $20.06
|
Zur Logik Der Logik...
Clemens Beckstein
Buy from $65.75
|
From Standard Logic to Logic...
Paul Gochet,
Eric Gregoire
Buy from $15.50
|
Computing with Logic: Logic...
David Maier,
David S Warren
Buy from $14.31
|
Logic Programming '86:...
Eiiti Wada (Editor)
Buy from $51.65
|
Logic Programming: A...
I Balbin (Editor),
K Lecot (Editor)
Buy from $103.32
|
Logic, Programming and PROLOG
Ulf Nilsson,
Jan Maluszynski
Buy from $52.31
|
Logic Programming:...
David H D Warren (Editor),
Peter Szeredi (Editor)
Buy from $5.08
|
Computers: From Logic...
R D Dowsing,
F W D Woodhams
Buy from $12.54
|
PROLOG Versus You: An...
Anne L Johansson,
A Eriksson-Granskog
Buy from $20.96
|
Why PROLOG?: Justifying Logic...
Gregory L Lazarev
Buy from $47.50
|
Approche logique de...
André Thayse
Buy from $245.07
|
Logic Programming:...
Jean-Louis Lassez
Buy from $6.10
|
Logic Programming and...
Tore Amble
Buy from $12.52
|
