About Us
Contact Us
Privacy Policy
Cookie Usage
Add Your Store

More From Contributor

image missing
Computational
Linguistic
Text Processing
£59.60
Focuses on the theoretical foundations of the theory LSLT
- Lexical Semantic Language Theory
- & its implementation in the system

...
Archived Product
image missing
Computational
Linguistics
And Intelligent Text
Processing
£66.72

Includes: the proceedings of the 11th International Conference on Computational Linguistics & Intelligent Text Processing,
...
Archived Product
image missing
Computational
Macroeconomics For The
Open Economy
£28.86
Policymakers need quantitative as well as qualitative answers to pressing policy questions. Because of advances in computational methods, quantitative estimates are derived from coherent nonlinear dynamic macroeconomic models. This text shows how such models can be made accessible & operational for confronting policy issues. ...
Archived Product
image missing
Computational
Materials Engineering
£63.64
Offers an understanding of the underlying statistical & analytical tools that are the basis for modeling complex material interactions, including an understanding of computational thermodynamics & molecular kinetics, as well as various modeling systems. ...
Archived Product

Computational Logic And Set Theory

This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic and set theory and its application to proof verification techniques. Covers the EtnaNova system, a program built to verify the correctness of mathematical proofs.
RIP - This product is no longer available on our network. It was last seen on 01.01.2015

This page now acts as a permanent archive for this product. Add more information using the comments box below to ensure it can still be found by future generations.

Use our search facility to see if it is available from an alternative contributor.
  • Availability: Out Of Stock
  • Supplier: Pickabook
  • SKU: 9780857298072
Availability: In Stock
£53.54
computer science / edp Mathematics, Science, Technology & Medicine > Computer Science / EDP
Description Reviews / Comments Add New

Product Description

This must-read text presents the late Professor Jacob T. Schwartz's work on computational logic & set theory & its application to proof verification techniques. Covers the Etna Nova system, a program built to verify the correctness of mathematical proofs.

Reviews/Comments

Add New

Intelligent Comparison

Oooops!
We couldn't find anything!
Perhaps this product's unique.... Or perhaps we are still looking for comparisons!
Click to bump this page and we'll hurry up.

Price History

Oooops!
We couldn't find any historical pricing!

Vouchers

No voucher codes found.
Do you know a voucher code for this product or supplier? Add it to Insights for others to use.

Facebook

Jargon Buster

Set - a group of items usually related to one another. Some objects cannot function without the complete set of items.

Supplier Information

Pickabook
A UK based company founded in 1998. Offering exceptional value for money on a wide range of books including leather bound books and sticker books.

Over 5 million books in stock - all new
Discounts of upto 80 percent
Excellent customer service
Fast delivery
Page Updated: 2015-03-31 20:45:45

Community Generated Product Tags

Oh No! The productWIKI community hasn't generated any tags for this product yet!
Menu