1. Die Publikationen der UdS
2. SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Title:	The Markgraf Karl refutation procedure
Author(s):	Raph, Karl Mark G.
Language:	English
Year of Publication:	1984
Place of publication:	Kaiserslautern
DDC notations:	004 Computer science, internet
Publikation type:	Report
Link to this record:	urn:nbn:de:bsz:291--ds-438092 hdl:20.500.11880/39274 http://dx.doi.org/10.22028/D291-43809
Series name:	Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI
Series volume:	84,01 KL
Date of registration:	6-Jan-2025
Notes:	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
Faculty:	SE - Sonstige Einrichtungen
Department:	SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professorship:	SE - Sonstige
Collections:	SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.