2 results
5 - Logic-Based Modeling of Cognition
- from Part II - Cognitive Modeling Paradigms
-
-
- Book:
- The Cambridge Handbook of Computational Cognitive Sciences
- Published online:
- 21 April 2023
- Print publication:
- 11 May 2023, pp 173-209
-
- Chapter
- Export citation
Fundamental Proof Methods in Computer Science: A Computer-Based Approach, by Arkoudas and Musser, The MIT Press, Cambridge, USA, ISBN 978-0-262-03553-8
-
- Journal:
- Theory and Practice of Logic Programming / Volume 21 / Issue 2 / March 2021
- Published online by Cambridge University Press:
- 10 June 2020, pp. 283-290
-
- Article
- Export citation