Handbook of satisfiability
著者
書誌事項
Handbook of satisfiability
(Frontiers in artificial intelligence and applications, v. 336)
IOS Press, c2021
2nd ed
- pt. 2
並立書誌 全1件
大学図書館所蔵 件 / 全3件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Other editors: Marijn Biere, Hans van Maaren, Toby Walsh
Includes bibliographical references and indexes