Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	B.
Last name:	Hummel
DBLP:	04/3116
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 1 of 1  

Select a publication
Show	Title	Venue	Rating	Date
	Conference paper Susanne Biundo-Stephan, B. Hummel, Dieter Hutter, Christoph Walther. The Karlsruhe Induction Theorem Proving System.	8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings 1986	(0)	1986

Show item 1 to 1 of 1  

Your query returned 1 matches in the database.