http://www.bibsonomy.org/rss/user/lysander07/logicBibSonomy RSS Feed for /user/lysander07/logicOriginale Mathematische Arbeit, die das Resolutionsprinzip in der Logik einführthttp://portal.acm.org/citation.cfm?id=321253lysander072010-11-24T12:44:03+01:00logic swt1011 swt1011_06 swt1112 swt1112_06 Originale Mathematische Arbeit, die das Resolutionsprinzip in der Logik einführtIn the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pages 47-100.http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-02.pdflysander072010-01-05T16:04:12+01:00descriptionlogics logic sw0910_08 swt1011 swt1011_08 swt1112 swt1112_07 In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pa<span class="info">...<div>In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pages 47-100.</div></span>In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pages 5-44.http://www.inf.unibz.it/~franconi/dl/course/dlhb/dlhb-01.pdflysander072010-01-05T16:03:03+01:00descriptionlogics logic sw0910_08 swt1011 swt1011_08 swt1112 swt1112_07 In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pa<span class="info">...<div>In the Description Logic Handbook, edited by F. Baader, D. Calvanese, D.L. McGuinness, D. Nardi, P.F. Patel-Schneider, Cambridge University Press, 2002, pages 5-44.</div></span>http://en.wikipedia.org/wiki/Skolemlysander072006-11-25T13:18:52+01:00logic semwebss06 sw0910 sw0910_06 swss06-05 http://en.wikipedia.org/wiki/Augustus_De_Morganlysander072006-11-25T13:17:03+01:00logic semwebss06 sw0910 sw0910_06 swss06-05