sign in · help · news · about ·

BibSonomy :: user :: lysander07 ::

tag user group author concept BibTeX key search:all search:lysander07

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

(2)

<< < 1 > >>

Thoralf Skolem and Skolemnisation (wikipedia)
to logic semwebss06 sw0910 sw0910_06 swss06-05 by lysander07 on Nov 25, 2006, 1:18 PM
(0)
Augustus DeMorgan and DeMorgan's Laws (wikipedia)
to logic semwebss06 sw0910 sw0910_06 swss06-05 by lysander07 on Nov 25, 2006, 1:17 PM
(0)

<< < 1 > >>bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(2)

<< < 1 > >>

Logik für Informatiker
Uwe Schöning Spektrum Akademischer Verlag, 5. Aufl. edition, (2000)
to logic semwebss06 swss06-05 swt1011 swt1011_06 swt1112 swt1112_06 by lysander07 and 4 other users on Nov 24, 2010, 12:50 PM
URL | BibTeX (0)
The Description Logic Handbook: Theory, Implementation and Applications
Franz Baader, Diego Calvanese, Deborah McGuinness, Daniele Nardi, and Peter Patel-Schneider (Eds.). Cambridge University Press, Cambridge, (2003)
to descriptionlogics knowledgeEngineering logic semwebss06 swss06-05 swss06-06 by lysander07 and 16 other users on Nov 27, 2006, 10:54 AM
URL | BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper