Home

Using Sophisticated Models in Resolution Theorem Proving / Edition 1

Barnes and Noble

Using Sophisticated Models in Resolution Theorem Proving / Edition 1

$54.99

Using Sophisticated Models in Resolution Theorem Proving / Edition 1

Using Sophisticated Models in Resolution Theorem Proving / Edition 1

Barnes and Noble

Using Sophisticated Models in Resolution Theorem Proving / Edition 1

$54.99

Size: OS

Loading Inventory...

*Product information may vary - to confirm product availability, pricing, shipping and return information please contact Barnes and Noble

You May Also Like

Mechanical Theorem Proving in Geometries: Basic Principles

Loading Inventory...

Mechanical Theorem Proving in Geometries: Basic Principles

Isabelle: A Generic Theorem Prover / Edition 1

Loading Inventory...

Isabelle: A Generic Theorem Prover / Edition 1

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat

Loading Inventory...

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, Proceedings

Loading Inventory...

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, Proceedings

Examples and Theorems in Analysis / Edition 1

Loading Inventory...

Examples and Theorems in Analysis / Edition 1

High Resolution Numerical Modelling of the Atmosphere and Ocean / Edition 1

Loading Inventory...

High Resolution Numerical Modelling of the Atmosphere and Ocean / Edition 1

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Loading Inventory...

Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings

Modern Concepts and Theorems of Mathematical Statistics / Edition 1

Loading Inventory...

Modern Concepts and Theorems of Mathematical Statistics / Edition 1

MOOCs: Design, Use and Business Models / Edition 1

Loading Inventory...

MOOCs: Design, Use and Business Models / Edition 1

The Fundamental Theorem of Algebra / Edition 1

Loading Inventory...

The Fundamental Theorem of Algebra / Edition 1

Strong Limit Theorems / Edition 1

Loading Inventory...

Strong Limit Theorems / Edition 1

Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry / Edition 1

Loading Inventory...

Using the Borsuk-Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry / Edition 1

Keep Shopping

on sale.jpg

On Sale

new in.jpg

New In

Men

Women

baby abd kids.jpg

Baby and Kids

Beauty

Jewelry

More About Barnes and Noble at The Summit

With an excellent depth of book selection, competitive discounting of bestsellers, and comfortable settings, Barnes & Noble is an excellent place to browse for your next book.

Store Info