5 results
WHAT USERS WANT: A NATURAL LANGUAGE PROCESSING APPROACH TO DISCOVER USERS' NEEDS FROM ONLINE REVIEWS
-
- Journal:
- Proceedings of the Design Society / Volume 3 / July 2023
- Published online by Cambridge University Press:
- 19 June 2023, pp. 3879-3888
-
- Article
-
- You have access
- Open access
- Export citation
Light logics and higher-order processes
-
- Journal:
- Mathematical Structures in Computer Science / Volume 26 / Issue 6 / September 2016
- Published online by Cambridge University Press:
- 17 November 2014, pp. 969-992
-
- Article
- Export citation
Categorical models for non-extensional λ-calculi and combinatory logic
-
- Journal:
- Mathematical Structures in Computer Science / Volume 2 / Issue 3 / September 1992
- Published online by Cambridge University Press:
- 04 March 2009, pp. 327-357
-
- Article
- Export citation
Raymond Turner. Truth and modality for knowledge representation. Pitman, London 1990, v + 122 pp., and Artificial intelligence series, The MIT Press, Cambridge, Mass., 1991, vii + 126 pp.
-
- Journal:
- The Journal of Symbolic Logic / Volume 61 / Issue 2 / June 1996
- Published online by Cambridge University Press:
- 12 March 2014, pp. 693-696
- Print publication:
- June 1996
-
- Article
- Export citation
A modal view of linear logic
-
- Journal:
- The Journal of Symbolic Logic / Volume 59 / Issue 3 / September 1994
- Published online by Cambridge University Press:
- 12 March 2014, pp. 888-899
- Print publication:
- September 1994
-
- Article
- Export citation