Publication list
FNWI: Institute for Logic, Language and Computation ILLC - 2000
21 to 30 of 126
1
11
21
31
41
51
61
71
81
91
101
111
121
| 21 | Chapter: Tree-based heuristics in modal theorem proving C.E. Areces, R. Gennari, J.M. Heguiabehere, M. de Rijke in: ECAI 2000 : proceedings of the 14th European Conference on Artificial Intelligence (2000) | |
| 22 | Chapter: Generating Polysemy: Metaphor and Metonymy R.I. Bartsch in: Arbeitspapiere, Volume I (2000) | |
| 23 | Chapter: Explaining language by economic behaviour J.F.A.K. van Benthem in: @ (2000), p. 93-107 | |
| 24 | Report: Information Transfer across Chu Spaces J.F.A.K. van Benthem (2000), p. 14 | |
| 25 | Article: Information Transfer Across Chu Spaces J.F.A.K. van Benthem in: Logic Journal of the IGPL, Vol. 8 (2000), p. 719-731 | |
| 26 | Article: Instroom Blues J.F.A.K. van Benthem in: Nieuw Archief voor Wiskunde (2000) | |
| 27 | Chapter: Linguistic Grammar as Dynamic Logic J.F.A.K. van Benthem in: Dynamic Perspectives in Logic and Linguistics (2000), p. 7-17 | |
| 28 | Chapter: Reasoning in Reverse J.F.A.K. van Benthem in: Abduction and Induction, their Relation and Integration (2000), p. 9-11 | |
| 29 | Chapter: Quantum Kolmogorov Complexity A. Berthiaume, W.K. van Dam, S. Laplante in: Proceedings 15th IEEE Conference on Computational Complexity (2000), p. 240-249 | |
| 30 | Report: Varieties of Two-Dimensional Diagonal-Free Cylindric Algebras. Part I. N. Bezhanishvili (2000), p. 26 |
previous