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

9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988. Proceedings

by  Ewing Lusk, Ross Overbeek
9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988. Proceedings,354019343X,9783540193432

Available

Usually Ships in 15 Days.

Ships From New York

Free Shipping within U.S.A

International Shipping?

Check Delivery Estimate and Shipping Cost for your country

Book Information

Publisher:Springer
Published In:04-May-1988
ISBN-10:354019343X
ISBN-13:9783540193432
Binding Type:Paperback
Weight:2.68 lbs
Pages:pp. 792, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss

The Title "9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988, Proceedings" was published in the year 1988. The ISBN number 354019343X|9783540193432 is assigned to the Paperback version of this title. This book has total of pp. x + 775 (Pages). The publisher of this title is Springer. We have about 138114 other great books from this publisher. 9th International Conference on Automated Deduction Argonne, Illinois, USA, May 23-26, 1988, Proceedings is currently Available with us.

Related Books

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

Proceedings of the Second ...

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

List Price: $ 59.00

Our Price: $ 54.44

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
7 %

Algebraic K-Theory I. Pro ...

Hyman Bass

List Price: $ 59.95

Our Price: $ 55.88

Several Complex Variables. Maryland 1970. Proceedings of the International Mathematical Conference, Held at College Park, April 6-17, 1970 Part 2,3540053727,9783540053729
22 %

Several Complex Variables ...

John Horvath

List Price: $ 59.95

Our Price: $ 46.47

Fluxes Between Trophic Levels and Through the Water-Sediment Interface,9048140781,9789048140787

Fluxes Between Trophic Le ...

M. -C Bonin, D. ...

Our Price: $ 456.85

Etapes International,2350170926,9782350170923

Etapes International

Michel Chanaud, ...

Our Price: $ 20.25