1 Table of Contents: “...6.3 Diagonalisierende List-Comprehensions -- 6.4 Syntax -- 7 Benutzerdefinierte Typen -- 7.1...”

2 Table of Contents: “... durch Algorithmen -- 2 Algorithmen und Spezifikationen -- 2.1 Spezifikationen -- 2.2 Algorithmen -- 2.3...”

3 Table of Contents: “...l Grundbegriffe der Prädikatenlogik -- 1.1 Syntax der Prädikatenlogik -- 1.2 Semantik der...”

4 Table of Contents: “... Protocol Specification with Formal Description Techniques -- 2.1 Informal Specification -- 2.2 Formal...”

5 Table of Contents: “...-Slave Flipflops -- 12.21 Pegelwandler mit Signalinvertierung -- 12.22 Simulation einer...”

6 Table of Contents: “...13.1 Syntax -- 13.2 Semantik -- 13.3 Maschinenmodelle und Übersetzung -- 13.4 Parallele Auswertung...”

7 Table of Contents: “... -- § 1 Syntax und Semantik der Prädikatenlogik -- § 2 Allgemeine deduktive Methoden -- § 3 Der...”

8 Table of Contents: “... Fächern -- 2. Informatik -- 2.1 Struktur -- 2.2 Grundbegriffe -- 3. Klassifikation -- 3.1...”

9 Table of Contents: “... durch Algorithmen -- 2 Algorithmen und Spezifikationen -- 2.1 Spezifikationen -- 2.2 Algorithmen -- 2.3...”

10 Table of Contents: “... Overall Organization -- 1.4 Syntax of Logic Programs -- 1.5 Data Manipulation by Unification -- 2...”

11 Table of Contents: “... Ausdrücke -- 2.2 Unvollständig geklammerte Ausdrücke mit Prioritäten -- III PROSA, eine einfache...”

12 Table of Contents: “... with Stored Procedures -- 20. Managing Transaction Processing -- 21. Using Cursors -- 22. Understanding...”

13 Table of Contents: “... Mikroprozessor MC6800 -- 2.1 Wortlänge und Befehlsformat -- 2.2 Architektur desMC6800-Prozessors -- 2.3...”

14 Table of Contents: “...1 Einführung -- 2 Einfache Konstrukte und Programme in Prolog -- 2.1 Fakten -- 2.2 Fragen -- 2.3...”

15 Table of Contents: “...1 Formale Grundlagen -- 1.1 Syntax der Prädikatenlogik 1. Stufe -- 1.2 Semantik der Sprache 1...”

16 Table of Contents: “... Struktur eines Expertensystems -- 14.3 Die Realisierung eines Expertensystems in Prolog -- A Die Syntax von...”

17 Table of Contents: “... Grundlagen -- 2.1 Logik, Gleichheit und Mengen -- 2.2 Relationen, Funktionen und Operationen -- 2.3...”

18 Table of Contents: “... of the Work -- 1.5 Organization of the Book -- 2 Foundations -- 2.1 Logic: The Connection Method -- 2.2...”

19 Table of Contents: “... -- Specific Built-in Types -- Statements and Syntax -- Specific Statements -- Namespace and Scope Rules...”

20 Table of Contents: “... Intelligenz -- 2.1 Probleme und Problemlösung in der Künstlichen Intelligenz (KI) -- 2.2 Logikbasierte...”