Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
36 |
| |||||||||
2 |
| |||||||||
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 | ||||||
2003 | de Nivelle, Hans | [Konev, Boris] [Schmidt, Renate] | Implementing the clausal normal form transformation with proof generation In: Fourth Workshop on the Implementation of Logics, 69-83 | Proceedings Article | ||||||
3 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
2 |
| |||||||||
2 |
|