Automated Reasoning 7th International Joint Conference, IJCAR 2014

Event name
Automated Reasoning 7th International Joint Conference, IJCAR 2014
 
Event type
Event for scientific audience
 
Start date
19-07-2014
End date
22-07-2014
 
Location
Wien
Country
Austria
 
Event format Veranstaltungsformat
On Site

Publications Publikationen



Results 1-1 of 1 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Woltzenlogel-Paleo, Bruno Skeptik: A Proof Compression SystemKonferenzbeitrag Inproceedings 2014