« 前にもどる

(2026/02/13 15:43:34時点)

近くの図書館から探してみよう

カーリルは全国の図書館から本を検索できるサービスです

この本を図書館から検索する

Computer-Aided Reasoning (Advances in Formal Methods)

Kaufmann, Matt（著） Manolios, Panagiotis（著） Moore, J Strother（著）

読みたいリスト

もっともっと探す

+もっと

の図書館をまとめて探す

近くの書店在庫を調べる

CiNii Booksで大学図書館の所蔵を調べる

詳しい情報

出版社: Springer(2000-07-31)

ハードカバー: 270 ページ / 15.9 x 1.9 x 22.9 cm

ISBN-10: 0792377443 ISBN-13: 9780792377443