1994-03-01Buch
Integrating Logical Functions with ILF
Dahn, Bernd I.; Gehne, Jürgen; Honigmann, Thomas; Walther, Lutz; Wolf, Andreas
This is a description of the system ILF developed at the Humboldt-University at Berlin. ILF is a system that integrates automated theorem provers, proof tactics for interactive deductive systems and models within a graphical ...