Results 231 to 240 of about 108,835 (244)

From Symbol Manipulation to Understanding Cognition: A Critical Introduction to Cognitive Science from a Computational Neuroepistemology Perspective

2018
openaire   +1 more source

ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2019) SUPPORTED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Vancouver, Canada June 24–27, 2019

The Bulletin of Symbolic Logic, 2019
openaire   +1 more source

Exploring the mathematic equations behind the materials science data using interpretable symbolic regression

Interdisciplinary Materials
Guanjie Wang, Zhi-Mei Sun
exaly  

LOGICAL FOUNDATIONS OF COMPUTER SCIENCE 2018 CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC Deerfield Beach, Florida, USA January 8–11, 2018

The Bulletin of Symbolic Logic, 2018
openaire   +1 more source

Paul C. Gilmore. Logicism renewed: logical foundations for mathematics and computer science. Lecture Notes in Logic, vol. 23. Association for Symbolic Logic / A K Peters, Ltd., Wellesley, Massachusetts, 2005, xvii + 230 pp.

Bulletin of Symbolic Logic, 2007
openaire   +1 more source

Symbolic arithmetic knowledge without instruction

Nature, 2007
exaly  

Generalized tanh method with symbolic computation and generalized shallow water wave equation

Computers and Mathematics With Applications, 1997
exaly  

Cosmic dust-ion-acoustic waves, spherical modified Kadomtsev-Petviashvili model, and symbolic computation

Physics of Plasmas, 2006
exaly