Suchfeld einblenden
Person Hoos, Holger H.
1 Treffer
Seite < 1 >
Theory and applications of satisfiability testing
: 7th international conference ; revised selected papers / SAT 2004, Vancouver, BC, Canada, May 10 - 13, 2004. Holger H. Hoos ... (ed.). - Berlin : Springer, 2005. - Online-Ressource - (Lecture notes in computer science; 3542)
ISBN 978-3-540-31580-3
Lizenzpflichtig
Quelle: DNB
Seite < 1 >
