Stephan Schulz
Papers
| authors | title | volume | pages | |
|---|---|---|---|---|
| Renate A. Schmidt, Stephan Schulz and Boris Konev (editors) | PAAR-2010: Proceedings of the 2nd Workshop on Practical Aspects of Automated Reasoning | EPiC Series, Volume 9 | ||
| Geoff Sutcliffe, Stephan Schulz and Eugenia Ternovska (editors) | IWIL 2010. The 8th International Workshop on the Implementation of Logics | EPiC Series, Volume 2 |
Keywords
| # | keywords |
|---|