Automated Reasoning

Name: Automated Reasoning
ISBN: 9780079112514

Larry Wos

1987319 pages

No counted ratings yet

2 editions

Track this book

You choose which shelves are public. Progress and read dates stay yours.

About

No description yet.

Add to list

More by Larry Wos

All books

Automated reasoning and its applicationsLarry Wos, Robert Veroff et al.

Automated reasoning and its applications

1997 · 252 pp

Want to read

More like this

Automated reasoning and its applicationsLarry Wos, Robert Veroff et al.

Automated reasoning and its applications

Larry Wos, Robert Veroff et al. · 1997

Want to read

Introduction to AlgorithmsThomas H. Cormen, Charles E. Leiserson et al.

Introduction to Algorithms

Thomas H. Cormen, Charles E. Leiserson et al. · 1990

Want to read

A Torre NegraStephen King

A Torre Negra

Stephen King · 1992

Want to read

Gödel, Escher, BachDouglas R. Hofstadter

Gödel, Escher, Bach

Douglas R. Hofstadter · 1979

Steven Levy · 1984

Structure and Interpretation of Computer Programs (SICP)Harold Abelson, Gerald Jay Sussman et al.

Structure and Interpretation of Computer Programs (SICP)

Harold Abelson, Gerald Jay Sussman et al. · 1985

Want to read

The Pragmatic ProgrammerAndy Hunt, Dave Thomas

The Pragmatic Programmer

Andy Hunt, Dave Thomas · 1999

Want to read

JavaScriptDavid Flanagan

JavaScript

David Flanagan · 1996

Want to read

Reviews

Rating integrity

Healthy

Counted ratings come from accounts older than 7 days and were made on or after publication. Finished readers weigh ×1.0. Readers who have not finished yet weigh ×0.5. Did-not-finish ratings are shown but not counted.

Editions

2 editions

Other · English · 1992
Mcgraw-Hill (Tx) · 656 pages · 9780079112514
Other · English · 1988
Prentice-Hall · 319 pages · 9780130545527

Computer programmingArtificial intelligenceAutomatic theorem provingComputer programs