Next:
Proof methods for
Up:
Logic Programming and
Previous:
Logic Programming and
Proof methods for nonclassical and non-monotonic logics
Proof methods for non-monotonic formalisms
Proof methods for multimodal logics
Proof methods for many-valued logics
Goal directed proof procedure for non-classical and modal logics
Matteo Baldoni
Mon Jan 26 18:45:29 MET 1998