The Markgraf Karl refutation procedure:
Gespeichert in:
Bibliographische Detailangaben
Beteilige Person: Walter, Christoph (VerfasserIn)
Format: Buch
Sprache:Nichtbestimmte Sprache
Veröffentlicht: Karlsruhe [1982]
Schriftenreihe:Universität <Karlsruhe> / Fakultät für Informatik: Interner Bericht 1982,35
Umfang:30 bl.