ロード中...
Introduction to mathematics of satisfiability /
第一著者: | |
---|---|
フォーマット: | Printed Book |
出版事項: |
Boca Raton :
CRC Press,
c2009.
|
シリーズ: | Chapman & Hall/CRC studies in informatics series
|
主題: |
第一著者: | |
---|---|
フォーマット: | Printed Book |
出版事項: |
Boca Raton :
CRC Press,
c2009.
|
シリーズ: | Chapman & Hall/CRC studies in informatics series
|
主題: |