Login / Signup
Preface - Logic Colloquium '94, 21-30 July 1994, Clermont-Ferrand, France.
Patrick Cégielski
Leszek Pacholski
Denis Richard
Jerzy Tomasik
Alex Wilkie
Published in:
Ann. Pure Appl. Log. (1997)
Keyphrases
</>
modal logic
classical logic
multi valued
predicate logic
logic programming
formal theory
proof theory
automated reasoning
asynchronous circuits
artificial intelligence in medicine
data sets
international workshop
truth values
abductive reasoning
deontic logic
deductive reasoning