Campus Event Calendar
Event Entry
New for: D3
What and Who
Automatic Generation of First Order Theorems
Simon Colton
The University of York/The University of Edinburgh
Talk
AG 1, AG 2, AG 3, AG 4
Expert Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 16 October 2001
16:15
-- Not specified --
DFKI
Turing (-2.17)
Saarbrücken
Contact
Christoph Benzmueller
--email hidden
passcode not visible
logged in users only