Frontiers in artificial intelligence and applications
| データ種別 | 図書 |
|---|---|
| 出版者 | Amsterdam, Tokyo : IOS Press |
| 本文言語 | 英語 |
子書誌情報を非表示
| 1 | v. 336 Handbook of satisfiability / edited by Armin Biere ... [et al.] pt. 1. - 2nd ed. - Amsterdam : IOS Press , c2021 |
| 2 | v. 336 Handbook of satisfiability / edited by Armin Biere ... [et al.] pt. 2. - 2nd ed. - Amsterdam : IOS Press , c2021 |
書誌詳細を非表示
| 書誌ID | BB10302902 |
|---|---|
| NCID | BA11770513 |