English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Filtern
Volltext vorhanden
nein
(4)
Autor*in
Neumann, André (4)
(entfernen)
Erscheinungsjahr
2007
(4)
Dokumenttyp
Wissenschaftlicher Artikel
(4)
Sprache
Englisch (4)
(entfernen)
Gehört zur Bibliographie
ja (4)
(entfernen)
Institut
Institut für Informatik und Computational Science (4)
(entfernen)
4
Treffer
1
bis
4
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
Conflict-driven answer set enumeration
(2007)
Gebser, Martin
;
Kaufmann, Benjamin
;
Neumann, André
;
Schaub, Torsten
Conflict-driven answer set solving
(2007)
Gebser, Martin
;
Kaufmann, Benjamin
;
Neumann, André
;
Schaub, Torsten
Clasp : a conflict-driven answer set solver
(2007)
Gebser, Martin
;
Kaufmann, Benjamin
;
Neumann, André
;
Schaub, Torsten
The first answer set programming system competition
(2007)
Gebser, Martin
;
Liu, Lengning
;
Namasivayam, Gayathri
;
Neumann, André
;
Schaub, Torsten
;
Truszczynski, Miroslaw
1
bis
4
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.