3rd workshop of the Amadeus project on Proof Compression (co-located with Tableaux 2013)
Event name
3rd workshop of the Amadeus project on Proof Compression (co-located with Tableaux 2013)
Event type
Event for scientific audience
Start date
16-09-2013
Location
Nancy
Country
Europe
Event format Veranstaltungsformat
On Site