Max-Planck-Institut für Informatik
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF or MPI-SWS or Local Campus Event Calendar

New for: D2
<< Previous Entry Next Entry >> New Event Entry Edit this Entry Login to DB (to update, delete)
What and Who
Title:Some existing resolution-based approaches to automated theorem proving in finitely-valued logics. - 2 -
Speaker:Viorica Sofronie-Stockermans
coming from:
Speakers Bio:
Event Type:Talk
Visibility:D2
We use this to send out email in the morning.
Level:AG Audience
Language:English
Date, Time and Location
Date:Thursday, 20 November 97
Time:11:15
Duration:60 Minutes
Location:Saarbrücken
Building:46.1 - MPII
Room:024
Abstract
Contact
Name(s):
Video Broadcast
Video Broadcast:NoTo Location:
Tags, Category, Keywords and additional notes
Note:
Attachments, File(s):