Povej prijatelju o tem izdelku:
Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications
Handbook of Satisfiability - Frontiers in Artificial Intelligence and Applications
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
980 pages, Illustrations
| Medij | Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami) |
| Izdano | 29. januarja 2009 |
| ISBN13 | 9781586039295 |
| Založniki | IOS Press |
| Strani | 980 |
| Dimenzije | 241 × 168 × 63 mm · 1,61 kg |
| Jezik | Angleščina |
| Urednik | Biere, A. |
| Urednik | Heule, M. |
| Urednik | Van Maaren, H. |
| Urednik | Walsh, T. |
Božična darila lahko vrnete do 31. januarja