Automated Deduction - CADE-20
Book title Buchtitel
Automated Deduction - CADE-20
Publisher Herausgeber
Springer Science + Business Media
Place of publishing Erscheinungsort
LNAI 3632
Results 1-1 of 1 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Fermüller, Christian ; Pichler, Reinhard | Model Representation via Contexts and Implicit Generalizations | Konferenzbeitrag Inproceedings | 2005 |