Home | Über mich | Lehre | Bücher | Links
  Deduction Systems

Wissensverarbeitung

Theoretische Grundlagen

Mathematik für Informatiker

Algebra für Informatiker

Taschenbuch der Informatik
Rolf Socher-Ambrosius und Patricia Johann: Deduction Systems. New York: Springer 1996
206 Seiten. ISBN: 978-0387948478