ロード中...

Introduction to mathematics of satisfiability /

書誌詳細
第一著者: Marek, Wiktor
フォーマット: Printed Book
出版事項: Boca Raton : CRC Press, c2009.
シリーズ:Chapman & Hall/CRC studies in informatics series
主題: