English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Organisationseinheiten
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Filtern
Volltext vorhanden
nein
(2)
Autor*in
Gebser, Martin (2)
(entfernen)
Erscheinungsjahr
2005 (2)
(entfernen)
Dokumenttyp
Wissenschaftlicher Artikel (2)
(entfernen)
Sprache
Englisch
(2)
Gehört zur Bibliographie
ja
(2)
Institut
Institut für Informatik und Computational Science
(2)
2
Treffer
1
bis
2
Export
BibTeX
CSV
RIS
XML
20
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.
1
bis
2
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.