お気に入り図書館を設定すると、貸出状況が表示されます エリアを選ぶ 現在地から探す
Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
Kaufmann, Matt／Manolios, Panagiotis／Moore, J Strother
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
Kaufmann, Matt／Manolios, Panagiotis／Moore, J Strother
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
Kaufmann, Matt／Manolios, Panagiotis／Moore, J Strother
Computer-Aided Reasoning (Advances in Formal Methods)
Kaufmann, Matt／Manolios, Panagiotis／Moore, J Strother
Interactive theorem proving : first international conference, ITP 2010, Edinburgh, UK, July 11-14, 2010 : proceedings
Matt Kaufmann, Lawrence C. Poulson (eds.)
Computer-aided reasoning : ACL2 case studies
edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore

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

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