Common Syntax of the DFG-Schwerpunktprogramm ''Deduktion''
暂无分享,去创建一个
Christoph Weidenbach | Reiner Hähnle | Manfred Kerber | Reiner Hähnle | Manfred Kerber | Christoph Weidenbach
[1] William McCune,et al. OTTER 1.0 Users' Guide , 1990 .
[2] Peter Baumgartner,et al. PROTEIN: A PROver with a Theory Extension INterface , 1994, CADE.
[3] Wolfgang Reif,et al. The KIV-Approach to Software Verification , 1995, KORSO Book.
[4] Birgit Heinz. Anti-Unifikation modulo Gleichungstheorie und deren Anwendung zur Lemmagenerierung , 1996, GMD-Bericht.