Konferenzveröffentlichung

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin (1996)
The Tableau-Based Theorem Prover (TaP).
Konferenzveröffentlichung, Bibliographie

Beckert, Bernhard ; Hähnle, Reiner ; Oel, Peter ; Sulzmann, Martin
Hrsg.: McRobbie, Michael ; Slaney, John (1996)
The Tableau-Based Theorem Prover TaP, Version 4.0.
Konferenzveröffentlichung, Bibliographie

Report

Beckert, Bernhard ; Hähnle, Reiner ; Geiß, Karla ; Oel, Peter ; Pape, Christian ; Sulzmann, Martin (1996)
The Many-Valued Tableau-Based Theorem Prover 3-TAP, Version 4.0.
Report, Bibliographie