Blättern nach Person
 | Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 1.
Deutsch
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
Drucken
Impressum