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

Publications Publikationen



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

PreviewAuthors / EditorsTitleTypeIssue Date
1Fermüller, Christian ; Pichler, Reinhard Model Representation via Contexts and Implicit GeneralizationsKonferenzbeitrag Inproceedings2005