Jürgen Gehne

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1997

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

1990

1 Jürgen Gehne: Testclasses and Closed World Assumptions for Non-Horn Theories. Nonclassical Logics and Information Processing 1990: 56-62

	1997
2		Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf: Integration of Automated and Interactive Theorem Proving in ILP. CADE 1997: 57-60
	1990
1		Jürgen Gehne: Testclasses and Closed World Assumptions for Non-Horn Theories. Nonclassical Logics and Information Processing 1990: 56-62

Coauthor Index

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

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