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 |
| |||||||||
2 |
| |||||||||
22 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
10 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
9 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
11 |
| |||||||||
10 |
| |||||||||
18 |
| |||||||||
4 |
| |||||||||
2001 | Bachmair, Leo Ganzinger, Harald | [Robinson, J. A.] [Voronkov, A.] | Resolution Theorem Proving In: Handbook of Automated Reasoning, 19-99 | Part of a Book | ||||||
1993 | Barth, Peter | Voronkov, A. | Linear 0-1 Inequalities and Extended Clauses In: Proceedings~4th International~Conference on Logic Programming and Automated Reasoning LPAR '93, 40-51 | Proceedings Article | ||||||
1993 | Ohlbach, Hans Jürgen | [Voronkov, A.] | Optimized Translation of Multi Modal Logic into Predicate Logic In: Proceedings of the 4th International Conference on Logic Programming and Automated Reasoning (LPAR'93), 253-264 | Proceedings Article |