Manuel Lamotte-Schubert

	2009
1		Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert, Gerard de Melo: External Sources of Axioms in Automated Theorem Proving. KI 2009: 281-288

Coauthor Index

1	Gerard de Melo	[1]
2	Martin Suda	[1]
3	Geoff Sutcliffe	[1]
4	Patrick Wischnewski	[1]

Last update Sat Feb 11 22:55:45 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page