Mathematical reasoning with diagrams
Subtitle: from intuition to automation
By: Mateja Jamnik.
Series: CSLI lecture notes -- no. 127.
Publisher: CSLI; Center for the Study of Language and Inf
Published: 2001
Place of publication: Stanford, Calif
Language: eng
Number of pages: 204
ISBN-13: 9781575863238; 9781575863245
Subjects: Mathematics -- Charts, diagrams, etc; Logic, Symbolic and mathematical; Automatic theorem proving; Wiskunde; Automatische bewijsvoering
Genres: Charts, diagrams, etc.
Notes: Includes bibliographical references (p. 190-198) and index.