10th Mexican International Conference on Artificial Intelligence (MICAI)

Event name
10th Mexican International Conference on Artificial Intelligence (MICAI)
 
Event type
Event for scientific audience
 
Start date
26-11-2011
End date
04-12-2011
 
Location
Puebla, Mexico
Country
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Hoder, Krystof ; Kovacs, Laura ; Voronkov, Andrei Case Studies on Invariant Generation Using a Saturation Theorem ProverKonferenzbeitrag Inproceedings 2011
2Kovacs, Laura ; Voronkov, Andrei First-order theorem proving and VampirePr√§sentation Presentation2011