MPI-INF Logo
Campus Event Calendar

Event Entry

What and Who

The Bernays-Schönfinkel Fragment of First-Order Autoepistemic Logic

Peter Baumgartner
Max-Planck-Institut für Informatik - AG 2
AG2 Working Group Seminar
AG 1, AG 2, AG 3, AG 4, AG 5  
AG Audience
-- Not specified --

Date, Time and Location

Monday, 24 May 2004
11:15
-- Not specified --
46.1 - MPII
024
Saarbrücken

Contact

Uwe Waldmann
--email hidden
passcode not visible
logged in users only

Uwe Waldmann, 05/23/2004 22:36 -- Created document.