Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 2.
Buchkapitel
Bibel, Wolfgang ; Brüning, Stefan ; Otten, Jens ; Rath, Thomas ; Schaub, Torsten
Hrsg.: Bibel, Wolfgang (1998)
Compressions and extensions.
In: Automated deduction: a basis for applications. Vol. 1
Buchkapitel, Bibliographie
Konferenzveröffentlichung
Schaub, Torsten ; Thielscher, Michael (1996)
Skeptical- query-answering in constrained default logic.
FAPR'96. Bonn (03.06.1996-07.06.1996)
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum