Mathematical reasoning with diagrams : from intuition to automation

著者

• Jamnik, Mateja

書誌事項

Mathematical reasoning with diagrams : from intuition to automation

Mateja Jamnik

（CSLI lecture notes, no. 127）

CSLI Publications, Center for the Study of Language and Information, c2001

• : pbk
• : cloth

注記

Bibliography: p. 190-198

Includes index

• NII書誌ID(NCID): BA55226378
• ISBN:
  • 1575863243
  • 1575863235
• LCCN: 2001047923
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Stanford, Calif.
• ページ数/冊数: xii, 204 p.
• 大きさ: 23 cm
• 分類:
  • LCC : QA90.J33
  • DC21 : 511.3
• 件名:
  • LCSH : Mathematics -- Charts, diagrams, etc.
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Automatic theorem proving
• 親書誌ID:
  • BA0037651X