Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications: 9 (Applied Logic Series)
by W. Bibel, P.H. Schmitt
ISBN 13: 9780792351306
Format: Hardcover (448 pages) Publisher: Springer Published: 30 Jun 1998 Other Format: Hardcover, Illustrated
Save for later
Dynamic Models in Biology
by Stephen P. Ellner,John Guckenheimer
ISBN 13: 9780691125893
Format: Paperback (352 pages) Publisher: Princeton University Press Published: 27 Mar 2006
Measure, Topology, and Fractal Geometry (Undergraduate Texts in Mathematics)
by Gerald Edgar
ISBN 13: 9780387747484
Format: Illustrated (288 pages) Publisher: Springer Published: 20 Dec 2007
Statistical Simulation
by Todd C. Headrick
ISBN 13: 9781420064902
Format: Hardcover (174 pages) Publisher: Chapman & Hall Published: 08 Dec 2009