Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp: www.mpi-inf.mpg.de ~sturm - Vienna - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-07-18 15:01:43 Symbol		Better Answers to Real Questions Thomas Sturm, Joint Work with M. Košta and A. Dolzmann SMT 2014, Vienna, 18 Julyhttp://www.mpi-inf.mpg.de/~sturm/ Add to Reading List Source URL: smt2014.it.uu.se Download Document from Source Website File Size: 112,05 KB Share Document on Facebook