TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 3.
Bibel, Wolfgang ; Brüning, ; Otten, ; Rath, ; Schaub, Karlheinz (1998)
Compressions and extensions.
In: Automated deduction: a basis for applications. Hrsg.: W. Bibel (u.a.) S. 238-245, Auflage: Dordrecht: Kluwer Acad. Publ., 1998
Buchkapitel, Bibliographie
Bibel, Wolfgang ; Brüning, ; Ugly, ; Korn, ; Rath, (1995)
Issues in theorem proving based on the connection method.
Konferenzveröffentlichung, Bibliographie
Egly, Uwe ; Rath, (1995)
The halting problem: an automatically generated proof.
In: AAR-newsletter. 30 (1995), S. 10-16
Artikel, Bibliographie