AITP 2017 - The Second Conference on Artificial Intelligence and Theorem Proving

Event name
AITP 2017 - The Second Conference on Artificial Intelligence and Theorem Proving
 
Event type
Event for scientific audience
 
Start date
26-03-2017
End date
30-03-2017
 
Location
Obergurgl
Country
Austria
 
Solo Exhibition
Solo Exhibition
Event format Veranstaltungsformat
On Site

Publications Publikationen

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