Call Number | 005.133 Bee P |
Collection Type | Indeks Artikel LNCS |
Title | Using sat in qbf, (LNCS-Lecture Notes in Computer Science 3709) Hal 578-592 |
Author | Horst Samulowitz; Fahiem Bacchus; |
Publisher | Springer, 2005 |
Subject | |
Location |
Nomor Panggil | ID Koleksi | Status |
---|---|---|
005.133 Bee P | TERSEDIA |