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 Michael Hanus

Practical Aspects of Declarative Languages

Programming languages (Electronic computers) · Congresses

Practical Aspects of Declarative Languages

Michael Hanus

2007

Declarative Programming and Knowledge Management

Knowledge management · Logic programming

Declarative Programming and Knowledge Management

Michael Hanus

2014

Algebraic and logic programming

Wiskundige logica · Algebra

Algebraic and logic programming

Michael Hanus

1996

Logic programming

Integration of declarative paradigms

Michael Hanus

1994

Feasibility, market, and development analysis

Jonathan Michael Hanus

2007

Functional and Constraint Logic Programming

Michael Hanus

2021

Knowledge management · Computer programming

Applications of Declarative Programming and Knowledge Management

Dietmar Seipel

2005

Mathematics

Functional and Logic Programming

Michael Hanus

2022

Algebraic and logic programming

Logic programming · Congresses

Algebraic and logic programming

Michael Hanus

1997

Problemlösen mit PROLOG

PROLOG (Programmiersprache) · PROLOG

Problemlösen mit PROLOG

Michael Hanus

1987

Problemlösen mit PROLOG

Problemlösen mit PROLOG

Michael Hanus

1987

Applications of Declarative Programming and Knowledge Management

Applications of Declarative Programming and Knowledge Management

Ulrich Geske,Dietmar Seipel,Michael Hanus

2008

Environmental Engineering & Technology · Science/Mathematics

Membrane Technology

Karl Dahm

2000

Algebraic and logic programming

Logic programming · Congresses

Algebraic and logic programming

Michael Hanus

1997