This volume contains four essays which may attract the attention of those readers, who are interested in mathematical cognition The main issues and questions ad

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemor

This collection of essays examines the key achievements and likely developments in the area of automated reasoning. In keeping with the group ethos, Automated R

Includes essays that are grouped in three parts: Mathematics; Mathematics and Physics; and, Language, Consciousness, and Book reviews. This book is suitable for