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