Mathematik für Informatiker Diskrete Mathematik, Lineare Algebra und Wahrscheinlichkeitsrechnung von Socher, Rolf

Volltext öffnen

Mathematik für Informatiker mit Anwendungen in der Computergrafik und Codierungstheorie ; mit ... 6 Tabellen, 76 Beispielen und 294 Aufgaben von Socher, Rolf

Inhaltsverzeichnis

Mathematik für Informatiker mit Anwendungen in der Computergrafik und Codierungstheorie von Socher, Rolf

Volltext öffnen

Algebra für Informatiker mit Anwendungen in der Kryptografie und Codierungstheorie ; mit 16 Tabellen, 45 Beispielen und 172 Aufgaben von Socher, Rolf

Volltext öffnen

Mathematik für Informatiker Diskrete Mathematik, Lineare Algebra und Wahrscheinlichkeitsrechnung von Socher, Rolf

Inhaltsverzeichnis

Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen von Socher, Rolf

Inhaltsverzeichnis

Theoretische Grundlagen der Informatik mit 16 Tabellen, 26 Beispielen von Socher, Rolf

Deduction systems von Socher, Rolf, Johann, Patricia

Inhaltsverzeichnis

Simplification and reduction for automated theorem proving von Socher, Rolf

Another technique for proving completeness of resolution von Socher, Rolf

Reducing the derivation of redundant clauses in reasoning systems von Socher, Rolf

Using theory resolution to simplify interpreted formulae von Socher, Rolf

Theoretische Grundlagen der Informatik von Socher, Rolf

Volltext öffnen

Theoretische Grundlagen der Informatik mit 16 Tabellen, 26 Beispielen von Socher, Rolf

Beschreibung

Wissensverarbeitung eine Einführung von Heinsohn, Jochen, Socher, Rolf

Deduktionssysteme von Socher, Rolf

Simplification and reduction for automated theorem proving von Socher, Rolf

Boolean algebra admits no convergent term rewriting system von Socher, Rolf

Reducing the derivation of redundant clauses in reasoning systems von Socher, Rolf

Topics in completion theorem proving von Müller, Jürgen, Socher, Rolf