The Mega Online Bookstore
Welcome Guest | Login | Home | Contact Us

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

Etapes International,2350170926,9782350170923

Etapes International

Michel Chanaud, ...

Our Price: $ 19.99

Proceedings of the Second Conference on Compact Transformation Groups. University of Massachusetts, Amherst, 1971 Part 1,3540060774,9783540060772
9 %

Proceedings of the Second ...

H. T Ku, L. N M ...

List Price: $ 59.00

Our Price: $ 53.87

Algebraic K-Theory I. Proceedings of the Conference Held at the Seattle Research Center of Battelle Memorial Institute, August 28 - September 8, 1972 Higher K-Theories,3540064346,9783540064343
8 %

Algebraic K-Theory I. Pro ...

Hyman Bass

List Price: $ 59.95

Our Price: $ 55.24