Suchfeld einblenden
Person Goré, Rajeev
1 Treffer
Seite < 1 >
Automated reasoning
: first international joint conference ; proceedings / IJCAR 2001, Siena, Italy, June 18 - 22, 2001. R. Goré ... (ed.). - Berlin : Springer, 2001. - Online-Ressource - (Lecture notes in computer science; 2083 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45744-2
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
