Login / Signup
Labelled Resolution for Classical and Non-classical Logics.
Dov M. Gabbay
Uwe Reyle
Published in:
Stud Logica (1997)
Keyphrases
</>
high resolution
classical methods
expert systems
motion estimation
classical logic
consequence finding