Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
2 |
| ||||||||
6 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
10 |
| ||||||||
2 |
| ||||||||
2 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
4 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
22 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
3 |
| ||||||||
4 |
| ||||||||
2000 | de Nivelle, Hans [Bezem, Marc] [Hendriks, Dimitri] | Automated Proof Construction in Type Theory Using Resolution In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 148-163 | Proceedings Article | ||||||
2000 | Sofronie-Stokkermans, Viorica | On unification for bounded distributive lattices In: Proceedings of the 17th International Conference on Automated Deduction (CADE-17), 465-481 | Proceedings Article | ||||||
1999 | Waldmann, Uwe | Cancellative Superposition Decides the Theory of Divisible Torsion-Free Abelian Groups In: Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99), 131-147 | Proceedings Article | ||||||
1999 | Proceedings of the 6th International Conference on Logic for Programming and Automated Reasoning (LPAR-99) | Proceedings |
Previous Page | Next Page |