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 David Basin

Rippling

Automatic theorem proving · Logic, symbolic and mathematical

Rippling

Alan Bundy

2005

Complete Guide to SCION

Laurent Chuat

2022

Principles of Security and Trust

Information Systems · Systems and Data Security

Principles of Security and Trust

David Basin

2013

Applied Information Security

Data protection · Information Systems

Applied Information Security

David Basin

2011

Labelled deduction

Modality (Logic) · Mathematical And Symbolic Logic

Labelled deduction

David Basin

2000

A catalog of David W. Taylor Model Basin unclassified publications

Bibliography · Oceanography

A catalog of David W. Taylor Model Basin unclassified publications

David W. Taylor Model Basin

1948

Unclassified list of reports

Bibliography · Catalogs

Unclassified list of reports

David W. Taylor Model Basin

1957

The configuration and tension of a light flexible cable in a uniform stream

Cables · Towing

The configuration and tension of a light flexible cable in a uniform stream

David W. Taylor Model Basin

1956

A catalog of David W. Taylor Model Basin unclassified publications

Bibliography · Catalogs

A catalog of David W. Taylor Model Basin unclassified publications

David W. Taylor Model Basin

1951

Supplement to a catalog of David W. Taylor Model Basin unclassified publications

Bibliography · Oceanography

Supplement to a catalog of David W. Taylor Model Basin unclassified publications

David W. Taylor Model Basin

1952

Proceedings of the Second ACM Conference on Wireless Network Security

David Basin

2009

Automated Reasoning

David Basin

2004

Dinosaurs · Wyoming, antiquities

Wyoming's Dinosaur Discoveries

The Big Horn Basin Foundation

2015

Wyoming, history · Wyoming, description and travel

Wyoming's Dinosaur Trail

The Big Horn Basin Foundation

2015

Theorem Proving in Higher Order Logics

David Basin

2003

Rippling Meta-Level Guidance for Mathematical Reasoning. Cambridge Tracts in Theoretical Computer Science, No. 56

Alan Bundy

2005

Labelled Deduction

Philosophy (General) · Artificial intelligence

Labelled Deduction

David Basin

2000

Free trade · Environmental aspects

Economic integration vs sustainable development

David Barkin

1994

Electronic digital computers · Naval art and science

Proceedings

Executive Seminar on the Use of High-Speed Calculators for the Solution of Naval Problems, David W. Taylor Model Basin 1960

1961

Tentative model of thesaurus-dictionary for FROLIC

David W. Taylor Model Basin. Applied Mathematics Laboratory.

1963