Mathematical reasoning with diagrams : from intuition to automation /

Bibliographic Details
Main Author:	Jamnik, Mateja, 1973-
Corporate Author:	Center for the Study of Language and Information (U.S.)
Format:	Book
Language:	English
Published:	Stanford, Calif. : CSLI Publications ; [2001]
Series:	CSLI lecture notes ; no. 127.
Subjects:	Mathematics > Charts, diagrams, etc. Logic, Symbolic and mathematical. Automatic theorem proving.

Remote Storage