articole
(gol)
Contact
Cont 
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
citește totul
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
ascunde descrierea
- Editură: IOS Press
- Cod:
- Anul publicării: 2009
- Limba: Engleză
- Legarea: Legată
- Număr de pagini: 980
- Lățimea ambalajului: 24.1 cm
- Înălțimea ambalajului: 16.8 cm
- Adâncimea ambalajului: 6.3 cm
- Greutatea ambalajului: 1.9 kg
Recenzii