ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) SUPPORTED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vancouver, Canada June 24–27, 2019
DOCUMENTATION FOR ENGINEERING MATERIALS SCIENCE COMPUTER MODULES**Conventions and symbols appearing in the software do not always match those used in the text.
1. Computer Algebra and Operators
From Symbol Manipulation to Understanding Cognition - a Critical Introduction to Cognitive Science from the Perspective of Computational Neuroepistemology
5th International Symposium on Symbolic Computation in Software Science, SCSS 2013, Castle of Hagenberg, Austria
Proceedings Fourth International Symposium on Symbolic Computation in Software Science, SCSS 2012, Gammarth, Tunisia, 15-17 December 2012.
Proceedings of the 9th International Symposium on Symbolic Computation in Software Science, SCSS 2021, Hagenberg, Austria, September 8-10, 2021.
6th International Symposium on Symbolic Computation in Software Science, SCSS 2014, Gammarth, La Marsa, Tunisia, December 7-8, 2014
7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016
SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science 2017, April 6-9, 2017, Gammarth, Tunisia