Investigates the application of logic to problem solving and computer programming. Requires no previous knowledge in this field, and therefore can be used as an

This volume grew out of the experience of the First Inter-American Congress on Philosophy of Technology, October 1988, organized by the Center for the Philosoph

This book constitutes the proceedings of the 12th International Congress on Telematics and Computing, WITCOM 2023, held in Puerto Vallarta, Mexico, in November

This book presents high-quality, peer-reviewed papers from the International Conference in Information Technology & Education (ICITED 2023), to be held at the N

En ocasión de la inauguración del Centro Leverhulme para el Futuro de la Inteligencia en la Universidad de Harvard, el astrofísico Stephen Hawking resumió s