Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-43809 | Titel: | The Markgraf Karl refutation procedure |
| VerfasserIn: | Raph, Karl Mark G. |
| Sprache: | Englisch |
| Erscheinungsjahr: | 1984 |
| Erscheinungsort: | Kaiserslautern |
| DDC-Sachgruppe: | 004 Informatik |
| Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
| Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-438092 hdl:20.500.11880/39274 http://dx.doi.org/10.22028/D291-43809 |
| Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
| Band: | 84,01 KL |
| Datum des Eintrags: | 6-Jan-2025 |
| Bemerkung/Hinweis: | Karl Mark G Raph is the pseudo name of the authors of this jointly written report. They are the memberbs of the MKRP-Project, which currently (January 1984) consists of the following people: Susanne Biundo, Dipl. Inf., (Induction Prover; Karlsruhe) Karl-Hans Bläsius, Dipl. Math., (Equality Reasoning; Kaiserslautern) Hans-Jürgen Bürckert, Dipl. Math., (Unification Theory; Kaiserslautern) Norbert Eisinger, Dipl. Inf., (Theoretical Problems of the Clause Graph Calculus; Kaiserslautern) Alexander Herold, Dipl. Math., (Unification Theory; Kaiserslautern) Thomas Käufl, Dipl. Inf., (Program Verification; Karlsruhe) Christoph Lingenfelder, Dipl. Phys., (Proof transformation; Kaiserslautern) Hans-Jürgen Ohlbach, Dipl. Phys., (Supervisor; Kaiserslautern) Manfred Schmidt-Schauß, Dipl. Math., (Supervisor; Kaiserslautern) Jörg H. Siekmann, Prof. Dr. (Ph. D.), grad. Ing., (Project leader; Kaiserslautern) Christoph Walther, Dipl. Inf., (Induction Prover, Sorted Logic; Karlsruhe) University of Kaiserslautern University of Karlsruhe January 1984 |
| Fakultät: | SE - Sonstige Einrichtungen |
| Fachrichtung: | SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz |
| Professur: | SE - Sonstige |
| Sammlung: | SciDok - Der Wissenschaftsserver der Universität des Saarlandes |
Dateien zu diesem Datensatz:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| Memo-SEKI-MK-84-01-KL_RAPH_THE-MARKGRAF-KARL-REFUTATION-PROCEDURE.pdf | 68,33 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.