Return to search

Mathematical reasoning with diagrams : from intuition to automation /

Diss. Ph. D.--University of Edinburgh, 1999. / Bibliogr. p. 190-198. Index.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/469966312
Date January 1900
CreatorsJamnik, Mateja,
PublisherStanford (Calif.) : CSLI,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish

Page generated in 0.0019 seconds