Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik

Daniel S. Korn. Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik. Volume 198 of DISKI, Infix, 1999.

Abstract

Abstract is missing.