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
Results 1-2 of 2 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Hoder, Krystof ; Kovacs, Laura ; Voronkov, Andrei ; Batyrshin, Ildar Z. ; Sidorov, Grigori | Case Studies on Invariant Generation Using a Saturation Theorem Prover | Konferenzbeitrag Inproceedings  | 2011 | |
| 2 | Kovacs, Laura ; Voronkov, Andrei | First-order theorem proving and Vampire | Präsentation Presentation | 2011 |