טוען...
Introduction to mathematics of satisfiability /
| מחבר ראשי: | |
|---|---|
| פורמט: | Printed Book |
| יצא לאור: |
Boca Raton :
CRC Press,
c2009.
|
| סדרה: | Chapman & Hall/CRC studies in informatics series
|
| נושאים: |