"Logik und Logikprogrammierung: Band 1: Grundlagen" von Steffen Hölldobler ist ein Lehrbuch, das sich mit den grundlegenden Konzepten der Logik und deren Anwendung in der Logikprogrammierung beschäftigt. Das Buch richtet sich an...

Logik und Logikprogrammierung von Hölldobler, Steffen

"Logik und Logikprogrammierung Band 2: Aufgaben und Lösungen" von Tobies Pietzsch ist eine Fortsetzung des ersten Bandes, die sich auf die praktische Anwendung der im ersten Band behandelten theoretischen Konzepte konzentriert. Dieses...

"Logik und Logikprogrammierung" von Steffen Hölldobler ist ein umfassendes Lehrbuch, das sich mit den Grundlagen der formalen Logik und deren Anwendung in der Informatik beschäftigt. Das Buch bietet eine Einführung in die Aussagen- und...

"Foundations of Equational Logic Programming" von Steffen Hölldobler ist ein Buch, das sich mit den theoretischen Grundlagen der äquationalen Logikprogrammierung beschäftigt. Es gehört zur Reihe "Lecture Notes in Computer Science" und...