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.

Description
Physical Description:	xii, 204 pages : illustrations ; 23 cm.
Bibliography:	Includes bibliographical references and index.
ISBN:	1575863243 1575863235 (CASED)