B. Hummel

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1986

1 Susanne Biundo, B. Hummel, Dieter Hutter, Christoph Walther: The Karlsruhe Induction Theorem Proving System. CADE 1986: 672-674

	1986
1		Susanne Biundo, B. Hummel, Dieter Hutter, Christoph Walther: The Karlsruhe Induction Theorem Proving System. CADE 1986: 672-674

Coauthor Index

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page

1	Susanne Biundo-Stephan (Susanne Biundo)	[1]
2	Dieter Hutter	[1]
3	Christoph Walther	[1]