 | | 2006 | [Prevosto, Virgile]
Waldmann, Uwe | | SPASS+T
In: ESCoR: FLoC'06 Workshop on Empirically Successful Computerized Reasoning, 18-33 | Proceedings Article | |
| | 2004 | Baumgartner, Peter
Fuchs, Alexander
[Tinelli, Cesare] | | 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 | |
| 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.) |
| |
