TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Bibel, Wolfgang ; Brüning, ; Ugly, ; Korn, ; Rath, (1995)
Issues in theorem proving based on the connection method.
Konferenzveröffentlichung, Bibliographie