English
Home
Suchen
Browsen
Einreichen
Sitemap
Schließen
Organisationseinheiten
Mathematisch-Naturwissenschaftliche Fakultät
Institut für Informatik und Computational Science
Filtern
Volltext vorhanden
nein
(3)
Autor*in
Brüning, Stefan (3)
(entfernen)
Erscheinungsjahr
1996 (3)
(entfernen)
Dokumenttyp
Wissenschaftlicher Artikel
(3)
Sprache
Englisch
(3)
Gehört zur Bibliographie
ja
(3)
Institut
Institut für Informatik und Computational Science
(3)
3
Treffer
1
bis
3
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.
Prolog technology for default reasoning
(1996)
Schaub, Torsten H.
;
Brüning, Stefan
XRay : a prolog technology theorem prover for default reasoning: a system description
(1996)
Schaub, Torsten H.
;
Brüning, Stefan
;
Nicolas, Pascal
1
bis
3
Verstanden ✔
Diese Webseite verwendet technisch erforderliche Session-Cookies. Durch die weitere Nutzung der Webseite stimmen Sie diesem zu.
Unsere Datenschutzerklärung finden Sie hier.