Campus Event Calendar
Event Entry
What and Who
Proof Planning in Higher-Order Logic with LambdaClam
Julian Richardson
University of Edinburgh, Dept. of AI
Logik-Seminar
AG 1, AG 2
AG Audience
-- Not specified --
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 9 February 99
16:15
-- Not specified --
46.1
024
Saarbrücken
Contact
Uwe Waldmann
(0681) 9325-227
--email hidden
passcode not visible
logged in users only