The Markgraf Karl Refutation Procedure („Karl Mark G. Raph“ ist Synonym für alle Mitarbeiter des Deduktionsprojektes)
Interner Bericht. Fachbereich Informatik, Universität Kaiserslautern. 1984
Erscheinungsjahr: 1984
Publikationstyp: Diverses
Sprache: Deutsch
Klassifikation
DDC Sachgruppe:
Allgemeines, Wissenschaft
