Search results
-
Full text
-
Document type
-
Organisation
Filter results
Results: 57,928
Number of items: 57,928
-
Infante-Lopez, G. G., Areces, C., & de Rijke, M. (2003). Controlled model exploration. In P. Balbiani, N.-Y. Suzuki, F. Wolter, & M. Zakharyaschev (Eds.), Advances in Modal Logic 4 (pp. 205-220). King's College Publications. http://www.aiml.net/volumes/volume4/
Page 4181 of 5793