1 |
| Kaoen, Joost-Pieter (ed.) |
| |
| | 2002 | Weidenbach, Christoph
Brahm, Uwe
Hillenbrand, Thomas
Keen, Enno
Theobalt, Christian
Topić, Dalibor | [Voronkov, Andrei] | | SPASS Version 2.0
In: Automated deduction, CADE-18 : 18th International Conference on Automated Deduction, 275-279 | Proceedings Article | |
| | 1999 | Weidenbach, Christoph
Afshordel, Bijan
Brahm, Uwe
Cohrs, Christian
Engel, Thorsten
Keen, Enno
Theobalt, Christian
Topić, Dalibor | Ganzinger, Harald | | System Description: SPASS Version 1.0.0
In: Proceedings of the 16th International Conference on Automated Deduction (CADE-16), 314-318 | Proceedings Article | |
| | 1998 | Weidenbach, Christoph
Meyer, Christoph
Cohrs, Christian
Engel, Thorsten
Keen, Enno | | | SPASS V0.77
In: Journal of Automated Reasoning [21], 113-113 | Journal Article | |
1 |
| Khasidashvili, Zurab (ed.) |
| |
1 |
| Kijania-Placek, Katarzyna (ed.) |
| |