Th. Honigmann

	1997
1		Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf: Integration of Automated and Interactive Theorem Proving in ILP. CADE 1997: 57-60

Coauthor Index

1	Ingo Dahn (Bernd I. Dahn)	[1]
2	Jürgen Gehne	[1]
3	Andreas Wolf	[1]