Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Year | Author(s) [non member] | Editor(s) [non member] | Title | Type | |||||
---|---|---|---|---|---|---|---|---|---|---|
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
3 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
1 |
| |||||||||
6 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
1 |
| |||||||||
2 |
| |||||||||
2003 | [Letz, Reinhold] Stenz, Gernot | [Cialdea Mayer, Marta] [Pirri, Fiora] | Universal variables in disconnection tableaux In: Automated reasoning with analytical tableaux and related methods : International Conference, TABLEAUX 2003, 117-133 | Proceedings Article | ||||||
1998 | [Letz, Reinhold] Weidenbach, Christoph | Paradigmen und Perspektiven der automatischen Deduktion In: KI, Organ des Fachbereichs 1 "Künstliche Intelligenz'' der Gesellschaft für Informatik e.V. [4], 15-19 | Journal Article | |||||||
1 |
| |||||||||
1 |
| |||||||||
3 |
| |||||||||
2 |
|