Mathematical reasoning with diagrams : from intuition to automation /
Jamnik, Mateja,1973-
Stanford University.Center for the Study of Language and Information.
Stanford, Calif. : CSLI Publications,
c2001.
Includes bibliographical references and index.
Mathematics
Logic, Symbolic and mathematical.
Automatic theorem proving.