Campus Event Calendar
Event Entry
New for: D2
What and Who
Some existing resolution-based approaches to automated theorem proving in finitely-valued logics. - 2 -
Viorica Sofronie-Stockermans
Talk
AG 2
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Thursday, 20 November 97
11:15
60 Minutes
46.1 - MPII
024
Saarbrücken
Contact
--email hidden
passcode not visible
logged in users only