English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Organisationseinheiten
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Filtern
Volltext vorhanden
nein
(6)
Autor*in
Schaub, Torsten H. (6)
(entfernen)
Erscheinungsjahr
1999 (6)
(entfernen)
Dokumenttyp
Wissenschaftlicher Artikel
(5)
Monographie/Sammelband
(1)
Sprache
Englisch
(6)
Gehört zur Bibliographie
ja
(6)
Institut
Institut für Informatik und Computational Science
(6)
6
Treffer
1
bis
6
Export
BibTeX
CSV
RIS
XML
100
10
20
50
100
Sortieren nach
Jahr
Jahr
Titel
Titel
Autor*in
Autor*in
Avoiding non-ground variables
(1999)
Brüning, Stefan
;
Schaub, Torsten H.
Query-answering in prioritized default logic
(1999)
Benhammadi, Farid
;
Nicolas, Pascal
;
Schaub, Torsten H.
The automation of reasoning with incomplete information : from semantic foundations to efficient computation
(1999)
Schaub, Torsten H.
Query-answering in prioritized default logic
(1999)
Benhammadi, Farid
;
Nicolas, Pascal
;
Schaub, Torsten H.
A voiding non-ground variables
(1999)
Brüning, Stefan
;
Schaub, Torsten H.
On bottom-up pre-processing techniques for automated default reasoning
(1999)
Linke, Thomas
;
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.