| | 2006 | [Prevosto, Virgile]
Waldmann, Uwe | [Sutcliffe, Geoff]
[Schmidt, Renate]
[Schulz, Stephan] | | SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33 | Proceedings Article | |
| | 2004 | Baumgartner, Peter
Fuchs, Alexander
[Tinelli, Cesare] | [Schulz, Stephan]
[Tammet, Tanel]
[Sutcliffe, Geoff] | | Darwin: A Theorem Prover for the Model Evolution Calculus
In: Proceedings of the 1st Workshop on Empirically Successful First Order Reasoning (ESFOR'04), 1-24 | Proceedings Article | |
| | 2001 | | de Nivelle, Hans
[Schulz, Stephan] | | Proceedings of the 2nd International Workshop on the Implementation of Logics | Proceedings | |
| | 2001 | Hillenbrand, Thomas
[Löchner, Bernd] | de Nivelle, Hans
[Schulz, Stephan] | | The Next WALDMEISTER Loop (Extended Abstract)
In: Proceedings of the Second International Workshop on the Implementation of Logics, IWIL 2001, 13-21 | Proceedings Article | |
2 |
| Schwartzbach, Michael I. (ed.) |
| |
1 |
| Schwartzbach, Michael (ed.) |
| |
3 |
| Schwefel, Hans-Paul (ed.) |
| |
1 |
| Sebastiani, Roberto (ed.) |
| |
1 |
| Shenoy, Prakash Pundalik (ed.) |
| |
1 |
| Shyamasundar, R. K. (ed.) |
| |