Suchfeld einblenden
Person Bacchus, Fahiem
1 Treffer
Seite < 1 >
Theory and applications of satisfiability testing
: 8th international conference ; proceedings / SAT 2005, St Andrews, UK, June 19 - 23, 2005. Fahiem Bacchus ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3569)
ISBN 978-3-540-31679-4
Lizenzpflichtig
Quelle: DNB
Seite < 1 >