About  |  Study  |  Members  |  Projects  |  Publications  |  Events  |  Search  |  Internals  |  Contact & Imprint

Selection of Books Related to ICCL

Logik und Logikprogrammierung Band 2 Steffen Hölldobler, Sebastian Bader, Bertram Fronhöfer, Ursula Hans, Pascal Hitzler, Markus Krötzsch, Tobias Pietzsch.
Logik und Logikprogrammierung. Band 2: Aufgaben und Lösungen.
Synchron Wissenschaftsverlag der Autoren, 2011.
ISBN-13: 978-3935025858.

Logik und Logikprogrammierung Band 1 Steffen Hölldobler.
Logik und Logikprogrammierung. Band 1: Grundlagen.
Synchron Wissenschaftsverlag der Autoren, 2009.
ISBN-13: 978-3935025843.

Principles of Model Checking Christel Baier, Joost-Pieter Katoen.
Principles of Model Checking.
The MIT Press, 2008.
ISBN-13: 978-0262026499.

The Description Logic Handbook Franz Baader.
The Description Logic Handbook: Theory, Implementation and Applications.
Cambridge University Press, 2007.
ISBN-13: 978-0521781763.

Formal Concept Analysis Bernhard Ganter.
Formal Concept Analysis.
Springer Verlag, 2005.
ISBN-13: 978-3540278917.

Reasoning Robots Michael Thielscher.
Reasoning Robots. The Art and Science of Programming Robotic Agents.
Springer Netherlands, 2005.
ISBN-13: 978-1402030680.

Logik und Logikprogrammierung Steffen Hölldobler.
Logik und Logikprogrammierung. Third edition.
Synchron Verlag, Heidelberg: 2003.
ISBN-13: 978-3935025591.

Theoretische Informatik Christel Baier, Alexander Asteroth.
Theoretische Informatik.
Pearson Studium, 2002.
ISBN-13: 978-3827370334.

Term Rewriting and All That Franz Baader, Tobias Nipkow.
Term Rewriting and All That.
Cambridge University Press, 1999.
ISBN-13: 978-0521779203.

Autonomous, Model-Based Diagnosis Agents Michael Schroeder.
Autonomous, Model-Based Diagnosis Agents.
Springer Verlag, 1998.
ISBN-13: 978-0792381426.

Syntax-Directed Semantics Heiko Vogler, Zoltan Fülöp.
Syntax-Directed Semantics.
Springer Verlag, 1998.
ISBN-13: 978-3540646075.

Foundations of Equational Logic Programming Steffen Hölldobler.
Foundations of Equational Logic Programming (Lecture Notes in Artificial Intelligence, Vol. 353).
Springer Verlag, 1989.
ISBN-13: 978-0387515335.

Initial Computability Algebraic Specifications and Partial Algebras Horst Reichel.
Initial Computability Algebraic Specifications and Partial Algebras.
Clarendon Press, 1987.
ISBN-13: 978-0198538066.