Skip to content

Automated Reasoning with Non-Monotonic Logics (Abstract).

Miroslaw Truszczynski

VenueBLPNMR
Year1997
ProceedingsLPNMR

Browse the full LPNMR paper archive.