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
1996 (6)
(entfernen)
Dokumenttyp
Wissenschaftlicher Artikel
(6)
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
A model-based approach to consistency-checking
(1996)
Brüning, Stefan
;
Schaub, Torsten H.
A simple signed system for paraconsistent reasoning
(1996)
Besnard, Philippe
;
Schaub, Torsten H.
Prolog technology for default reasoning
(1996)
Schaub, Torsten H.
;
Brüning, Stefan
Putting default logics in perspective
(1996)
Linke, Thomas
;
Schaub, Torsten H.
Skeptical query-answering in constrained default logic
(1996)
Schaub, Torsten H.
;
Thielscher, Michael
XRay : a prolog technology theorem prover for default reasoning: a system description
(1996)
Schaub, Torsten H.
;
Brüning, Stefan
;
Nicolas, Pascal
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.