IJCAR 2010

View Statistics Email Alert RSS Feed

Book details Buch-Details

Book title Buchtitel
IJCAR 2010
 
Editor Herausgeber_in
 
Publisher Herausgeber
Springer, LNAI
 
Place of publishing Erscheinungsort
Heidelberg
 

Publications Publikationen

Filter:
Author:  Weller, Daniel

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

PreviewAuthor(s)TitleTypeIssue Date
1Leitsch, Alexander ; Dunchev, Tsvetan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Libal, Tomer System Description: The Proof Transformation System CERESKonferenzbeitrag Inproceedings2010