« 前にもどる

(2026/02/14 03:05:20時点)

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

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

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

Computer-Aided Reasoning (Advances in Formal Methods, 4)

Kaufmann, Matt（編集） Manolios, Panagiotis（編集） Moore, J Strother（編集）

読みたいリスト

もっともっと探す

+もっと

の図書館をまとめて探す

近くの書店在庫を調べる

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

詳しい情報

出版社: Springer(2000-06-30)

ハードカバー: 352 ページ / 15.6 x 2.1 x 23.4 cm

ISBN-10: 0792378490 ISBN-13: 9780792378495