The ALF Proof Editor and Its Proof Engine.

Lena Magnusson Bengt Nordström

Published in: TYPES (1993)

Keyphrases

theorem prover
theorem proving
data sets
e learning
multimedia
case study
special case
proof search
proof planning