First Page | Document Content | |
---|---|---|
Date: 2004-01-22 06:29:02Non-classical logic Logic programming Philosophical logic Default logic Autoepistemic logic First-order logic Prolog Stable model semantics Non-monotonic logic Logic Mathematical logic Reasoning | В издательстве «Физматлит» в 2004 гAdd to Reading ListSource URL: raai.orgDownload Document from Source WebsiteFile Size: 124,97 KBShare Document on Facebook |