Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Y | Author/Editor | Title | ||||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
2 |
| ||||||||
16 |
| ||||||||
43 |
| ||||||||
41 |
| ||||||||
37 |
| ||||||||
36 |
| ||||||||
39 |
| ||||||||
58 |
| ||||||||
48 |
| ||||||||
61 |
| ||||||||
73 |
| ||||||||
42 |
| ||||||||
1 |
|
| |||||||
1 |
|
| |||||||
24 |
|
| |||||||
8 |
|
| |||||||
4 |
|
| |||||||
4 |
|
| |||||||
Schmidt, Renate A. | Optimised Modal Translation and Resolution Universität des Saarlandes | ||||||||
Viganò, Luca | A Framework for Non-Classical Logics Universität des Saarlandes | ||||||||
Waldmann, Uwe | Cancellative Abelian Monoids in Refutational Theorem Proving Universität des Saarlandes | ||||||||
Zeyer, Jörg | Eine Beobachtungs-Logik für modulare Sprachen Universität des Saarlandes | ||||||||
64 |
| ||||||||
55 |
| ||||||||
64 |
| ||||||||
47 |
| ||||||||
26 |
| ||||||||
26 |
| ||||||||
2 |
|