MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

Proof Planning with Schema Frameworks

Julian Richardson
University of Edinburgh, Dept. of AI
Logik-Seminar
AG 1, AG 2  
AG Audience
-- Not specified --

Date, Time and Location

Tuesday, 30 June 98
16:15
60 Minutes
46.1
024
Saarbrücken

Contact

Uwe Waldmann
(0681) 9325-227
--email hidden
passcode not visible
logged in users only