![](https://www.pdfsearch.io/img/a56cccb57f317aa22141166f95a579fb.jpg)
| Document Date: 2011-03-21 06:42:22 Open Document File Size: 221,53 KBShare Result on Facebook
City Darmstadt / / Country Germany / United States / Netherlands / / / Facility Utrecht University / Mathematical Institute / / IndustryTerm finite product / web site www.phil.cmu.edu/projects/ast / / Organization Mathematical Institute / Utrecht University / / Person Thomas Streicher / Alex Simpson / Van den Berg / / Position second named author / HB / / URL www.phil.cmu.edu/projects/ast / /
SocialTag |