Previous Page | Next Page |
# | Year | Author(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
2 |
| ||||||||
1 |
| ||||||||
5 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
4 |
| ||||||||
1 |
| ||||||||
3 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
6 |
| ||||||||
4 |
| ||||||||
2005 | Sofronie-Stokkermans, Viorica | Hierarchic reasoning in local theory extensions In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 219-234 | Proceedings Article | ||||||
2005 | Baumgartner, Peter [Tinelli, Cesare] | The Model Evolution Calculus with Equality In: Automated deduction - CADE-20 : 20th International Conference on Automated Deduction, 392-408 | Proceedings Article | ||||||
2001 | Afshordel, Bijan Hillenbrand, Thomas Weidenbach, Christoph | First-Order Atom Definitions Extended In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 309-319 | Proceedings Article | ||||||
2001 | de Nivelle, Hans | Splitting through New Proposition Symbols In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 172-185 | Proceedings Article | ||||||
9 |
| ||||||||
1 |
|
Previous Page | Next Page |