Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
11 |
| |||||||||
1 |
| |||||||||
2001 | [Fermüller, Christian G.] [Leitsch, Alexander] Hustadt, Ullrich [Tammet, Tanel] | [Robinson, Alan] [Voronkov, Andrei] | Resolution Decision Procedures In: Handbook of Automated Reasoning, 1793-1849 | Part of a Book | ||||||
1 |
| |||||||||
1 |
| |||||||||
11 |
| |||||||||
1 |
| |||||||||
4 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
5 |
| |||||||||
6 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
3 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
|