Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
1 |
| ||||||||
3 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
12 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
5 |
| ||||||||
2001 | Weidenbach, Christoph | Combining Superposition, Sorts and Splitting In: Handbook of Automated Reasoning, 1965-2013 | Part of a Book | ||||||
2001 | Nonnengart, Andreas Weidenbach, Christoph | Computing small clause normal forms In: Handbook of Automated Reasoning, 335-367 | Part of a Book | ||||||
2001 | Nonnengart, Andreas [Ohlbach, Hans Jürgen] [Gabbay, Dov M.] | Encoding two-valued non-classical logics in classic logic In: Handbook of Automated Reasoning, 1403-1486 | Part of a Book |
Previous Page | Next Page |