The computational complexity of logical theories

View on Open Library

The computational complexity of logical theories

by Jeanne Ferrante

No reviews yet

First published: 1979 1 language ISBN: 0387095012

Subjects

Computational complexity Predicate calculus

Reviews

Log in or sign up to write a review.

No reviews yet. Be the first!

More by Jeanne Ferrante

Some upper and lower bounds on decision procedures in logic

Some upper and lower bounds on decision ...

Portability and performance for parallel processing

Portability and performance for parallel...

Computational techniques in tribology and material science at the atomic level

Computational techniques in tribology an...

You Might Also Like

More in Computational comple...

Les Robots

Isaac Asimov

Prey

Michael Crichton

Pattern Recognition

Pattern Recognition

Cheng-Lin Liu

Gödel, Escher, Bach

Gödel, Escher, Bach

Douglas R. Hofstadter

Advances in Swarm Intelligence

Advances in Swarm Intelligence

Ying Tan

Parallel Processing and Applied Mathematics

Parallel Processing and Applied Mathemat...

Roman Wyrzykowski