|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
6 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems |
Fairouz Kamareddine |
2001 |
10 | 3 |
p. 375-402 28 p. |
artikel |
|
| 2 | First-Order Modal Logic, M. Fitting and R.L. Mendelsohn |
Valentin Shehtman |
2001 |
10 | 3 |
p. 403-405 3 p. |
artikel |
|
| 3 | Incremental Dynamics |
Jan van Eijck |
2001 |
10 | 3 |
p. 319-351 33 p. |
artikel |
|
| 4 | Semantics as a Foundation for Psychology: A Case Study of Wason's Selection Task |
Keith Stenning |
2001 |
10 | 3 |
p. 273-317 45 p. |
artikel |
|
| 5 | Temporal Logic: Mathematical Foundations andComputational Aspects, Volume 2,Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger |
Ullrich Hustadt |
2001 |
10 | 3 |
p. 406-410 5 p. |
artikel |
|
| 6 | Tolerance Logic |
Maarten Marx |
2001 |
10 | 3 |
p. 353-374 22 p. |
artikel |
6 gevonden resultaten