Computer-aided reasoning : an approach

著者

• Kaufmann, Matt
• Manolios, Panagiotis
• Moore, J. Strother

書誌事項

Computer-aided reasoning : an approach

edited by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore

（Advances in formal methods / series editor, Michael Hinchey, 3）

Kluwer Academic, c2000

注記

Includes bibliographical references and index

詳細情報

• NII書誌ID(NCID): BA4900419X
• ISBN:
  • 0792377443
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Boston ; Dordrecht ; London
• ページ数/冊数: xv, 270 p.
• 大きさ: 25 cm
• 親書誌ID:
  • BA46490182