Bibel, Wolfgang ; Brüning, Stefan ; Egly, U. ; Korn, D. ; Rath, Thomas
Hrsg.: 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
Konferenzveröffentlichung, Bibliographie