Suchfeld einblenden
Person Armando, Alessandro
2 Treffer
Seite < 1 >
Automated reasoning
: 4th international joint conference ; proceedings / IJCAR 2008, Sydney, Australia, August 12 - 15, 2008. Alessandro Armando ... (ed.). - Berlin : Springer, 2008. - Online-Ressource - (Lecture notes in computer science; 5195 : Lecture notes in artificial intelligence)
ISBN 978-3-540-71070-7
Lizenzpflichtig
Quelle: DNB
Frontiers of combining systems
: 4th international workshop ; proceedings / FroCoS 2002, Santa Margherita Ligure, Italy, April 8 - 10, 2002. A. Armando (ed.). - Berlin : Springer, 2002. - Online-Ressource - (Lecture notes in computer science; 2309 : Lecture notes in artificial intelligence)
ISBN 978-3-540-45988-0
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
