Check details on webcat_plus

このエントリーをはてなブックマークに追加

Output this information

Link on this page

証明論と計算量 / 竹内外史著
ショウメイロン ト ケイサンリョウ

Publisher 東京 : 裳華房
Year 1995.11
Authors 竹内, 外史(1926-) <タケウチ, ガイシ>

Hide book details.

Library Main Building 3rd fl. (in Japanese)(2 Weeks Loan)
4100:1025 119706152W



IER Library
Sb:313 5195018956
4785310960

Hide details.

Material Type Books
Size vi, 205p ; 22cm
Other titles title page title:Bounded arithmetic and computational complexity
Subjects BSH:数学基礎論
NDLSH:計算量理論
Classification NDC8:410.9
NDC7:410.1
NDLC:MA41
Language Japanese
ID 0000137231
ISBN 4785310960
NCID BN13445912 WCLINK

 Similar Items