Implementing Mathematics With the Nuprl Proof Development System

0.0 (0 reviews) Write A Review

In stock (1 available)

SKU SHUB60086

$46.35

Free Shipping within the US
Est. Date: Feb 19, 2026

Overview

Four goals of the

Product Details

ISBN-13:	9780134518329
ISBN-10:	0134518322
Publisher:	Prentice Hall
Publication date:	1986
Edition description:	y First printing
Pages:	304
Product dimensions:	Weight: 1.3007273458 Pounds
Author:	R. L. Constable
Language:	en
Binding:	Hardcover

Books Related to MATHEMATICS_DATA PROCESSING

Discover more books in the same category

Computing with Mathematica

Computing with Mathematica

$52.95
$52.39
Est. Date: Feb 19, 2026

Introduction to Mathematical Programming

Introduction to Mathematical Programming

$73.33
$62.69
Est. Date: Feb 19, 2026

Mathematica: A Practical Approach

Mathematica: A Practical Approach

$73.92
$68.59
Est. Date: Feb 19, 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
$58.63
Est. Date: Feb 19, 2026

Mathematica: The Student Book

Mathematica: The Student Book

$42.28
Est. Date: Feb 19, 2026

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

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

$76
$64.04
Est. Date: Feb 19, 2026

The Maple Handbook

The Maple Handbook

$42.02
Est. Date: Feb 19, 2026

The Maple Handbook: Maple V Release 3

The Maple Handbook: Maple V Release 3

$99
$73.04
Est. Date: Feb 19, 2026

An Introduction to Programming With Mathematica

An Introduction to Programming With Mathematica

$79.95
$55.27
Est. Date: Feb 19, 2026

Mathematica in Action

Mathematica in Action

$48.48
Est. Date: Feb 19, 2026

View All Books in MATHEMATICS_DATA PROCESSING

Customer Reviews

0.0 (0 reviews)

No Reviews Yet

Be the first to review this book!