Socher-Ambrosius, Rolf.
Socher, Rolf
Socher-Ambrosius, R.
VIAF ID: 42887802 ( Personal )
Permalink: http://viaf.org/viaf/42887802
Preferred Forms
- 100 1 _ ‡a Socher, Rolf
- 100 1 _ ‡a Socher-Ambrosius, R.
- 100 1 _ ‡a Socher-Ambrosius, Rolf
-
- 100 1 _ ‡a Socher-Ambrosius, Rolf
-
-
-
-
4xx's: Alternate Name Forms (5)
5xx's: Related Names (3)
- 510 2 _ ‡a Fachhochschule Brandenburg
- 510 2 _ ‡a Fachhochschule Brandenburg ‡4 affi ‡4 https://d-nb.info/standards/elementset/gnd#affiliation ‡e Affiliation
- 510 2 _ ‡a Kaiserslautern, University, Fachb. Informatik
Works
Title | Sources |
---|---|
Completeness of resolution and superposition calculi | |
Deduktionssysteme | |
goal oriented strategy based on completion | |
Mathematik für Informatiker Diskrete Mathematik, Lineare Algebra und Wahrscheinlichkeitsrechnung | |
Mathematik für Informatiker mit Anwendungen in der Computergrafik und Codierungstheorie | |
refined version of general E-unification | |
A resolution calculus extended by equivalence | |
Simplification and reduction for automated theorem proving | |
Solving simplification ordering constraints | |
Theoretische Grundlagen der Informatik mit 31 Tabellen, 36 Beispielen und 75 Aufgaben mit Lösungen | |
Topics in Completion Theorem Proving | |
Unification of terms with exponents | |
Verification of COBOL Programs | |
Wissensverarbeitung eine Einführung in die Künstliche Intelligenz für Informatiker und Ingenieure |