logo
  • Implementing Mathematics With the Nuprl Proof Development System

Implementing Mathematics With the Nuprl Proof Development System

0.0 (0 reviews)
In stock (1 available)
SKU SHUB60086
$44.88
Free Shipping within the US
Est. Date: Jan 20, 2026

Four goals of the

  • Author(s): R. L. Constable
  • Publisher: Prentice Hall
  • Language: en
  • Pages: 304
  • Binding: Hardcover
  • Edition: y First printing
  • Published: 1986
  • Dimensions: Weight: 1.3007273458 Pounds
  • Estimated Delivery: Jan 20, 2026
Customer Reviews
0.0 (0 reviews)
Login to Write Review
No Reviews Yet

Be the first to review this book!

Books Related to MATHEMATICS_DATA PROCESSING

Discover more books in the same category

Computing with Mathematica

Computing with Mathematica

  • $52.95
  • $50.96
  • Est. Date: Jan 20, 2026
Introduction to Mathematical Programming

Introduction to Mathematical Programming

  • $73.33
  • $61.32
  • Est. Date: Jan 20, 2026
Mathematica: A Practical Approach

Mathematica: A Practical Approach

  • $73.92
  • $67.26
  • Est. Date: Jan 20, 2026
Modelling and Computation for Applications in Mathematics, Science, and Engineering (Numerical Mathematics and Scientific Computation)

Modelling and Computation for Applications in Mathematics, Science, and Engineering (Numerical Mathematics and Scientific Computation)

  • $69.5
  • $57.08
  • Est. Date: Jan 20, 2026
Mathematica: The Student Book

Mathematica: The Student Book

  • $40.79
  • Est. Date: Jan 20, 2026
Data Abstraction and Problem Solving With C++: Walls and Mirrors

Data Abstraction and Problem Solving With C++: Walls and Mirrors

  • $76
  • $62.68
  • Est. Date: Jan 20, 2026
The Maple Handbook

The Maple Handbook

  • $40.66
  • Est. Date: Jan 20, 2026
The Maple Handbook: Maple V Release 3

The Maple Handbook: Maple V Release 3

  • $99
  • $72.13
  • Est. Date: Jan 20, 2026
An Introduction to Programming With Mathematica

An Introduction to Programming With Mathematica

  • $79.95
  • $54.11
  • Est. Date: Jan 20, 2026
Mathematica in Action

Mathematica in Action

  • $47.02
  • Est. Date: Jan 20, 2026
View All Books in MATHEMATICS_DATA PROCESSING