áru
(üres)
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
tovább
A collection of papers on various theoretical and practical aspects of SAT solving. It is suitable for students and researchers.
leírás elrejtése
- Kiadó: IOS Press
- Kód:
- Kiadás éve: 2009
- Nyelv: Angol
- Kötés: Kötött
- Oldalak száma: 980
- Csomag szélessége: 24.1 cm
- Csomag magassága: 16.8 cm
- Csomag mélysége: 6.3 cm
- Csomag súlya: 1.9 kg
Recenzió