Proof complexity generators
著者
書誌事項
Proof complexity generators
（London Mathematical Society lecture note series, 497）
Cambridge University Press, 2025
- : paperback
大学図書館所蔵 件 / 全7件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Content Type: text (rdacontent), Media Type: unmediated (rdamedia), Carrier Type: volume (rdacarrier)
Includes bibliographical references (pages 114-119) and index