Skip to contents Furbach, Ulrich [Other] ; IJCAR 3 2006 Seattle, Wash Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4130
Furbach, Ulrich [Other] ; IJCAR 3 2006 Seattle, Wash Automated reasoning : third international joint conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 ; proceedings Books View online Schließen Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 4130
> Location Skip to next facet Departmental Library DrePunct (1) Wert ausschließen Show more show less
> Creator Skip to next facet Furbach, Ulrich (1) Wert ausschließen IJCAR 3 2006 Seattle, Wash (1) Wert ausschließen Show more show less