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

Books · Search

Books by Larry Wos

Automated Reasoning

Computer programming · Artificial intelligence

Automated Reasoning

Larry Wos

1987

Collected Works of Larry Wos

Artificial intelligence · Automatic theorem proving

Collected Works of Larry Wos

Larry Wos

2000

A fascinating country in the world of computing

Automatic theorem proving · Knowledge-based systems / expert systems

A fascinating country in the world of computing

Larry Wos

1999

Automated reasoning and its applications

Automatic theorem proving · Artificial intelligence

Automated reasoning and its applications

Larry Wos

1997

The automation of reasoning

Artificial intelligence · Automatic theorem proving

The automation of reasoning

Larry Wos

1996

Fascinating Country in the World of Computing, a

Gail W. Pieper

1999

Collected Works of Larry Wos Vol. 1

Larry Wos

2000

Fascinating Country in the World of Computing

Larry Wos Staff

1999

Automated reasoning

Computer programming · Artificial intelligence

Automated reasoning

Larry Wos

1992

Automated reasoning

Démonstration automatique · Théorèmes

Automated reasoning

Larry Wos

1984

Applied · Logic

Automated Reasoning and the Discovery of Missing and Elegant Proofs

Larry Wos

2003