Publications :: Search

Show author

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

Author information
First name:	Manuel Lamotte-Schubert
Last name:	Lamotte-Schubert
DBLP:	29/7399
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
	Martin Suda, Geoff Sutcliffe, Patrick Wischnewski, Manuel Lamotte-Schubert Lamotte-Schubert, Gerard de Melo. External Sources of Axioms in Automated Theorem Proving.	KI 2009: Advances in Artificial Intelligence, 32nd Annual German Conference on AI, Paderborn, Germany, September 15-18, 2009. Proceedings 2009	(0)	2009

Your query returned 1 matches in the database.