sign in · help · news · about ·

BibSonomy :: user :: emanuel ::

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

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(4)

<< < 1 > >>

Logic for Computer Scientists
Uwe Schöning Modern Birkhäuser Classics Birkhäuser Boston, (2008)
to logic by emanuel on May 10, 2010, 7:10 PM
BibTeX (0)
Foundations of Inductive Logic Programming
Shan-Hwei Nienhuys-Cheng, and Ronald de Wolf LNAI Springer-Verlag, (1997)
to book ilp induction inductive_programming logic by emanuel and 1 other user on May 26, 2009, 5:07 PM
URL | BibTeX (0)
Subsumption Theorem and Refutation Completeness
Shan-Hwei Nienhuys-Cheng, and Roland de Wolf Foundations of Inductive Logic Programming, volume 1228 of LNAI, chapter 5, Springer-Verlag, (1997)
to ilp logic by emanuel on Jan 8, 2009, 12:56 PM
BibTeX (0)
Undecidability of the Horn-clause Implication Problem
J. Marcinkowski, and L. Pacholski Proceedings of the 33rd IEEE Annual Symposium on Foundations of Computer Science, page 354-362. IEEE, (1992)
to decidability horn-clauses logic by emanuel and 1 other user on Jun 23, 2008, 6:44 PM
URL | DOI | BibTeX (0)

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

a gripper