MPI-INF Logo
Campus Event Calendar

Event Entry

New for: D3

What and Who

Proof Representations for Higher-Order Logic

Christine Rizkallah
Fachrichtung Informatik - Saarbrücken
Talk
AG 1, AG 4, RG1, MMCI, AG 3, AG 5, SWS  
AG Audience
English

Date, Time and Location

Thursday, 15 April 2010
10:00
30 Minutes
E1 4
024
Saarbrücken

Contact

Frank Neumann
--email hidden
passcode not visible
logged in users only

Tags, Category, Keywords and additional notes

Frank Neumann, 04/14/2010 15:43
Frank Neumann, 04/10/2010 13:54
Frank Neumann, 04/10/2010 13:43 -- Created document.