Suchergebnisse - Socher, Rolf

Treffer filtern
  1. 1
    Buchumschlag

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

    Veröffentlicht 2022
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  2. 2
    Buchumschlag

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

    Veröffentlicht 2008
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  3. 3
    Buchumschlag

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

    Veröffentlicht 2003
    Buch


    Gespeichert in:
  4. 4
    Buchumschlag

    Deduction systems
    von Socher, Rolf, Johann, Patricia

    Veröffentlicht 1997
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  5. 5
    Buchumschlag

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

    Veröffentlicht 2012
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  6. 6
    Buchumschlag

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

    Veröffentlicht 2012
    Elektronisch E-Book


    Gespeichert in:
  7. 7
    Buchumschlag

    Wissensverarbeitung: eine Einführung in die Künstliche Intelligenz für Informatiker und Ingenieure
    von Boersch, Ingo, Heinsohn, Jochen, Socher, Rolf

    Veröffentlicht 2007
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  8. 8
    Buchumschlag

    Simplification and reduction for automated theorem proving
    von Socher, Rolf

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  9. 9
    Buchumschlag

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

    Veröffentlicht 2011
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  10. 10
    Buchumschlag

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

    Veröffentlicht 2005
    Buch


    Gespeichert in:
  11. 11
    Buchumschlag

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

    Veröffentlicht 1999
    Buch


    Gespeichert in:
  12. 12
    Buchumschlag

    Deduktionssysteme
    von Socher, Rolf

    Veröffentlicht 1994
    Inhaltsverzeichnis
    Buch


    Gespeichert in:
  13. 13
    Buchumschlag

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

    Veröffentlicht 2022
    Elektronisch E-Book


    Gespeichert in:
  14. 14
    Buchumschlag

    Another technique for proving completeness of resolution
    von Socher, Rolf

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  15. 15
    Buchumschlag

    Using theory resolution to simplify interpreted formulae
    von Socher, Rolf

    Veröffentlicht 1988
    Buch


    Gespeichert in:
  16. 16
    Buchumschlag

    A resolution calculus extended by equivalence
    von Müller, Jürgen, Socher, Rolf

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  17. 17
    Buchumschlag

    Simplification and reduction for automated theorem proving
    von Socher, Rolf

    Veröffentlicht 1991
    Buch


    Gespeichert in:
  18. 18
    Buchumschlag

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

    Veröffentlicht 1990
    Buch


    Gespeichert in:
  19. 19
    Buchumschlag

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

    Veröffentlicht 1989
    Buch


    Gespeichert in:
  20. 20
    Buchumschlag

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

    Veröffentlicht 1988
    Buch


    Gespeichert in:

Suchwerkzeuge: