TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Jump to: English
Number of items: 2.

English

Bibel, Wolfgang ; Brüning, Stefan ; Otten, Jens ; Rath, Thomas ; Schaub, Torsten
ed.: Bibel, Wolfgang (1998)
Compressions and extensions.
In: Automated deduction: a basis for applications. Vol. 1
Book Section, Bibliographie

Bibel, Wolfgang ; Brüning, Stefan ; Egly, U. ; Korn, D. ; Rath, Thomas
ed.: Baumgartner, P. (1995)
Issues in theorem proving based on the connection method.
4th International Workshop, TABLEAUX-95. St. Goar, Germany (07.05. - 10.05.1995)
doi: 10.1007/3-540-59338-1_24
Conference or Workshop Item, Bibliographie

This list was generated on Sat Oct 12 00:48:52 2024 CEST.