Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)
# | Author/Editor | Year | Title | Publisher / Institution | |||||
---|---|---|---|---|---|---|---|---|---|
1 |
| ||||||||
11 |
| ||||||||
3 |
| ||||||||
85 |
| ||||||||
43 |
| ||||||||
2 |
| ||||||||
Blackburn, Patrick Tzakova, Miroslava | 1998 | Hybrid Languages and Temporal Logic (Full Version) | Computational Lingustics, Universität des Saarlandes | ||||||
Sofronie-Stokkermans, Viorica | 1998 | Resolution-based Theorem Proving for SHn-Logics | Technische Universität Wien | ||||||
10 |
| ||||||||
11 |
| ||||||||
1 |
| ||||||||
1 |
| ||||||||
168 |
|