Mathematical reasoning with diagrams : from intuition to automation

Author(s)

• Jamnik, Mateja

Bibliographic Information

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

Note

Bibliography: p. 190-198

Includes index

• NCID: BA55226378
• ISBN:
  • 1575863243
  • 1575863235
• LCCN: 2001047923
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Stanford, Calif.
• Pages/Volumes: xii, 204 p.
• Size: 23 cm
• Classification:
  • LCC : QA90.J33
  • DC21 : 511.3
• Subject Headings:
  • LCSH : Mathematics -- Charts, diagrams, etc.
  • LCSH : Logic, Symbolic and mathematical
  • LCSH : Automatic theorem proving
• Parent Bibliography ID:
  • BA0037651X