お気に入り図書館を設定すると、貸出状況が表示されます エリアを選ぶ 現在地から探す
Explanatory Nonmonotonic Reasoning (Advances in Logic, 4)
Bochman, Alexander
Complexity of proofs and their transformations in axiomatic theories
V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]

カーリルについて - 図書館の方へ - ローカル - 図書館 API - バナー・素材

ホーム - 運営会社 - ブログ - Twitter - 図書館の自由 - プライバシーポリシー - お問い合わせ