|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
5 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author Index for Volume 147 |
1998 |
147 | 2 |
p. 224- 1 p. |
artikel |
||
| 2 | On the Modelling of Search in Theorem Proving— Towards a Theory of Strategy Analysis |
Bonacina, Maria Paola |
1998 |
147 | 2 |
p. 171-208 38 p. |
artikel |
|
| 3 | Positive Versions of Polynomial Time |
Lautemann, C. |
1998 |
147 | 2 |
p. 145-170 26 p. |
artikel |
|
| 4 | The Combinatorics of Effective Resistances and Resistive Inverses |
Ponzio, Stephen |
1998 |
147 | 2 |
p. 209-223 15 p. |
artikel |
|
| 5 | The Generating Power of Total Deterministic Tree Transducers |
Maneth, Sebastian |
1998 |
147 | 2 |
p. 111-144 34 p. |
artikel |
5 gevonden resultaten