|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
4 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Benchmark Method for the Propositional Modal Logics K, KT, S4 |
Peter Balsiger |
2000 |
24 | 3 |
p. 297-317 21 p. |
artikel |
|
| 2 | A Hyperbase for Binary Lattice Hyperidentities |
R. Padmanabhan |
2000 |
24 | 3 |
p. 365-370 6 p. |
artikel |
|
| 3 | Single Step Tableaux for Modal Logics |
Fabio Massacci |
2000 |
24 | 3 |
p. 319-364 46 p. |
artikel |
|
| 4 | The CADE-16 ATP System Competition |
Geoff Sutcliffe |
2000 |
24 | 3 |
p. 371-396 26 p. |
artikel |
4 gevonden resultaten