20th International Conference on Automated Deduction
Event name
20th International Conference on Automated Deduction
Start date
22-07-2005
End date
27-07-2005
Location
Tallinn, Estland
Country
Austria
Event format Veranstaltungsformat
On Site
Results 1-1 of 1 (Search time: 0.16 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fermüller, Christian ; Pichler, Reinhard | Model Representation via Contexts and Implicit Generalizations | Konferenzbeitrag Inproceedings | 2005 |