fraeon
Films
BrowseTop 250
Series
TV ShowsAnimeTop 250 TVTop 100 Anime
Games
BrowseTop 100
Books
BooksMangaTop 125 BooksTop 100 Manga
For youTrendingTier ListsThe ArchiveLeaderboard
Log inSign up free
fraeon

Everything you watch, play and read — tracked, rated and remembered in one library.

Explore

  • Films
  • TV
  • Anime
  • Games
  • Books
  • Manga

Discover

  • Trending
  • Leaderboard
  • Find people
  • Lists
  • Tier lists

Company

  • Tour
  • About
  • Community guidelines
  • Privacy
  • Terms
  • Contact

© 2026 fraeon. All rights reserved. ·

Metadata from TMDB, RAWG, Jikan & Open Library. This product uses the TMDB API but is not endorsed or certified by TMDB.

Questions or ideas? mehmet@avortas.com

HomeFeedProfile
Automated reasoning

Automated reasoning

by Larry Wos

Démonstration automatiqueThéorèmesKunstmatige intelligentieProgrammation (Informatique)Computer programming
0.0
Open Library
Open Library

Themes & subjects

Démonstration automatiqueThéorèmesKunstmatige intelligentieProgrammation (Informatique)Computer programmingAutomatic theorem proving

Author

Larry Wos

Pages

482

Read time

≈ 12h

Editions

1

Language

English

Publisher

Prentice-Hall

ISBN

0130544531

Where to buy

TR
Amazon Bookshop

Reviews

No reviews yet — be the first to write one from the Log screen.

Quotes

No quotes yet.

Discussions

Similar books

Automated Theorem Proving in Software Engineering

Démonstration automatique · Automatisches Beweisverfahren

Automated Theorem Proving in Software Engineering

Johann M. Schumann

2001

Rewriting Techniques and Applications

Réécriture · Algebraïsche logica

Rewriting Techniques and Applications

Jean-Pierre Jouannaud

1985

Symbolic logic and mechanical theorem proving

Logic, Symbolic and mathematical · Symbolic and mathematical Logic

Symbolic logic and mechanical theorem proving

Chin-Liang Chang

1973

Automated Reasoning with Analytic Tableaux and Related Methods

Redeneren · Théorèmes

Automated Reasoning with Analytic Tableaux and Related Methods

Neil V. Murray

1999

From logic design to logic programming

Logic programming · Algorithms

From logic design to logic programming

Dominique Snyers

1987

ONTIC

Automatic theorem proving · Knowledge representation (Information theory)

ONTIC

David A. McAllester

1989

Automated theorem proving

Démonstration automatique · Théorèmes

Automated theorem proving

W. Bibel

1987

PX, a computational logic

Symbolic and mathematical Logic · Automatic theorem proving

PX, a computational logic

Susumu Hayashi

1988

9th International Conference on Automated Deduction

Automatic theorem proving · Congresses

9th International Conference on Automated Deduction

International Conference on Automated Deduction (9th 1988 Argonne, Ill.)

1988

Compositionality, concurrency, and partial correctness

Automatic theorem proving · Parallel processing (Electronic computers)

Compositionality, concurrency, and partial correctness

J. Zwiers

1989

Automated deduction, CADE-13

Automatic theorem proving · Congresses

Automated deduction, CADE-13

International Conference on Automated Deduction (13th 1996 New Brunswick, N.J.)

1996

Formal methods in computer-aided design

Congresses · Computer-aided design

Formal methods in computer-aided design

FMCAD '98 (1998 Palo Alto, Calif.)

1998

Correct system design

Computer systems · Reliability

Correct system design

Bernhard Steffen

1999