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
Intelligent Computer Mathematics

Intelligent Computer Mathematics

by Johan Jeuring

Mathematical Logic and Formal LanguagesLogic designAlgebraInformation storage and retrieval systemsInformation organization
0.0
Open Library
Open Library

Themes & subjects

Mathematical Logic and Formal LanguagesLogic designAlgebraInformation storage and retrieval systemsInformation organizationInformation retrieval

Author

Johan Jeuring

Editions

1

Language

English

Publisher

Springer Berlin Heidelberg

ISBN

9783642313745

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

Reachability Problems

Computer simulation · Computers

Reachability Problems

Parosh Aziz Abdulla

2010

Artificial general intelligence

Mathematical models · Cognitive science

Artificial general intelligence

Ben Goertzel

2007

Computer Games

Computer games · Artificial intelligence

Computer Games

Tristan Cazenave

2014

Logical Foundations of Computer Science

Mathematical Logic and Formal Languages · Symbolic and mathematical Logic

Logical Foundations of Computer Science

Sergei Artemov

2007

Language and Automata Theory and Applications

Mathematical Logic and Formal Languages · Algorithm Analysis and Problem Complexity

Language and Automata Theory and Applications

Adrian-Horia Dediu

2012

New Frontiers In Artificial Intelligence

Computer Imaging, Vision, Pattern Recognition and Graphics · Database management

New Frontiers In Artificial Intelligence

Daisuke Bekki

2011

Intelligent Computer Mathematics

Mathematical Logic and Formal Languages · Algebra

Intelligent Computer Mathematics

Jacques Carette

2009

Machine Learning and Data Mining in Pattern Recognition

Mathematical Logic and Formal Languages · Pattern perception

Machine Learning and Data Mining in Pattern Recognition

Petra Perner

2011

Fundamentals of Software Engineering

Mathematical Logic and Formal Languages · Models and Principles

Fundamentals of Software Engineering

Farhad Arbab

2010

Graph Structures for Knowledge Representation and Reasoning

Mathematical Logic and Formal Languages · Programming Techniques

Graph Structures for Knowledge Representation and Reasoning

Madalina Croitoru

2012

Formal Grammar

Computational linguistics · Mathematical linguistics

Formal Grammar

Glyn Morrill

2012

Information Processing and Management of Uncertainty

Computer science · Artificial intelligence

Information Processing and Management of Uncertainty

Anne Laurent

2014

Logica Universalis

Model theory · Symbolic and mathematical Logic

Logica Universalis

Jean-Yves Beziau

2005

Artificial General Intelligence

Artificial intelligence · Congresses

Artificial General Intelligence

Kai-Uwe Kühnberger

2013

Job scheduling strategies for parallel processing

Computer capacity · Congresses

Job scheduling strategies for parallel processing

JSSPP'99 (1999 San Juan, P.R.)

1995

Digital Design

Design and construction · Digital electronics

Digital Design

John F. Wakerly

1990

Evaluation of Novel Approaches to Software Engineering

Information Systems · Software engineering

Evaluation of Novel Approaches to Software Engineering

Leszek A. Maciaszek

2011

Information and Communication Technologies in Education, Research, and Industrial Applications

Information technology · Educational technology

Information and Communication Technologies in Education, Research, and Industrial Applications

Vadim Ermolayev

2013