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

Computer science logic

by CSL 2008 (2008 Bertinoro, Italy)

2008Computer logicCongressesLogic, symbolic and mathematical
0.0
Open Library
Open Library

Themes & subjects

Computer logicCongressesLogic, symbolic and mathematical
First published 2008

Author

CSL 2008 (2008 Bertinoro, Italy)

First published

2008

Pages

512

Read time

≈ 13h

Editions

4

Language

English

Publisher

Springer

ISBN

9783540875307

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

Logical Foundations of Computer Science

Mathematical Logic and Formal Languages · Symbolic and mathematical Logic

Logical Foundations of Computer Science

Sergei Artemov

2007

Logic functions and equations

Mathematics · Computer logic

Logic functions and equations

Christian Posthoff

2005

Fuzzy learning and applications

Programmable controllers · Fuzzy systems

Fuzzy learning and applications

Marco Russo

2000

Computational logic in multi-agent systems

Intelligent agents (Computer software) · Computer logic

Computational logic in multi-agent systems

João Leite

2004

The logician and the engineer

Electrical engineers · Computer logic

The logician and the engineer

Paul J. Nahin

2012

Towards a design flow for reversible logic

Logic programming · Computer logic

Towards a design flow for reversible logic

Robert Wille

2010

Logical foundations for cognitive agents

Artificial intelligence · Computer logic

Logical foundations for cognitive agents

Fiora Pirri

1999

Computational logic in multi-agent systems

Intelligent agents (Computer software) · Computer logic

Computational logic in multi-agent systems

Katsumi Inoue

2006

Logic in Computer Science

Logic programming · Computer logic

Logic in Computer Science

Mark Ryan

1999

New trends in fuzzy systems

Fuzzy systems · Congresses

New trends in fuzzy systems

International Joint Workshop on Current Issues Fuzzy Technologies/Methods amd Environments for Planning and Programming (1998 Naples, Italy)

1997

Computability

Computable functions · Logic, Symbolic and mathematical

Computability

Richard L. Epstein

1988

Computation Engineering:

Machine theory · Mathematics

Computation Engineering:

Ganesh Gopalakrishnan

2006

Logic in Computer Science

Logic programming (Computer science) · Computer logic

Logic in Computer Science

Michael Huth

2000

Manifest der Kommunistischen Partei

Communism · Sources

Manifest der Kommunistischen Partei

Karl Marx

1848

Nicomachean Ethics

Ethics · Early works to 1800

Nicomachean Ethics

Aristotle

1558

Lord Jim

Fiction · British

Lord Jim

Joseph Conrad

1900

Θεαίτητος

Theory of Knowledge · Ancient Philosophy

Θεαίτητος

Πλάτων

1861

Sartor resartus

Fiction · Philosophers

Sartor resartus

Thomas Carlyle

1800