Normal view
MARC view
Posegga, Joachim(Personal Name)
Theorem proving with analytic tableaux ... c1995: t.p. (Joachim Posegga) t.p. verso (Inst. für Logik, Komplex und Dedukt., Karlsruhe, Germany)