Automated Deduction - CADE-20

Book title Buchtitel
Automated Deduction - CADE-20
 
Publisher Herausgeber
Springer Science + Business Media
 
Place of publishing Erscheinungsort
LNAI 3632
 

Publications Publikationen



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

PreviewAuthor(s)TitleTypeIssue Date
1Fermüller, Christian ; Pichler, Reinhard Model Representation via Contexts and Implicit GeneralizationsKonferenzbeitrag Inproceedings2005