Your search returned 6 results.

Not what you expected? Check for suggestions
1.
Automated theorem proving : after 25 years

by Bledsoe W W | Loveland Donald W.

Series: Contemporary mathematics ; v. 29Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, 1984Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

2.
Ergodic theory : Probability and Ergodic Theory Workshops, February 1518, 2007, Februrary 1417, 2008, University of North Carolina, Chapel Hill

by Assani Idris.

Series: Contemporary mathematics ; v. 485Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c2009Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

3.
Ergodic theory and related fields : 20042006 Chapel Hill Workshops on Probability and Ergodic Theory, University of North Carolina Chapel Hill, North Carolina

by Assani Idris.

Series: Contemporary mathematics ; v. 430Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c2007Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

4.
Measure and measurable dynamics : proceedings of a conference in honor of Dorothy Maharam Stone, held September 1719, 1987

by MaharamStone D | Mauldin R Daniel | Shortt Rae Michael | Silva Cesar Ernesto.

Series: Contemporary mathematics ; v. 94Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1989Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

5.
The Scottish Book

by R. Daniel Mauldin.

Edition: 2nd ed. 2015Material type: Computer file Computer file; Format: electronic Publication details: Springer International Publishing 2015Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .

6.
Set theory : annual Boise Extravaganza in Set Theory (BEST) Conference, March 1315, 1992, April 1011, 1993, March 2527, 1994, Boise State University, Boise, Idaho

by Bartoszynski Tomek | Scheepers Marion.

Series: Contemporary mathematics ; v. 192Material type: Computer file Computer file; Format: electronic Publication details: Providence, R.I. : American Mathematical Society, c1996Online access: Click here to access online Availability: Items available for reference: Accessible Online (1). : Location(s): .