OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]: Foreword by Alan Bundy

How to Solve It: A New Aspect of Mathematical Method

Mathematical Knowledge Management: 4th International Conference, MKM 2005, Bremen, Germany, July 15-17, 2005, Revised Selected Papers

Logically Fallacious: The Ultimate Collection of Over 300 Logical Fallacies (Academic Edition)

An Illustrated Book of Bad Arguments: Learn the Lost Art of Making Sense (Bad Arguments)

Towards the Multilingual Semantic Web: Principles, Methods and Applications

Knowledge Engineering: Practice and Patterns: 17th International Conference, EKAW 2010, Lisbon, Portugal, October 11-15, 2010, Proceedings

Fast Math: Learn the Secrets of Mental Math: By Using Vedic Math and Other Math Tricks to Perform Mental Calculations from Multiplication to Percentages without Calculators

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

536 Puzzles and Curious Problems

KI 2006: 29th Annual German Conference on AI, KI 2006, Bremen, Germany, June 14-17, 2006, Proceedings

Foundations and Fundamental Concepts of Mathematics

Natural Language Processing and Information Systems: 25th International Conference on Applications of Natural Language to Information Systems, NLDB 2020, Saarbrücken, Germany, June 24–26, 2020, Proceedings

Logic: A Very Short Introduction: Edition 2

Engineering the Web in the Big Data Era: 15th International Conference, ICWE 2015, Rotterdam, The Netherlands, June 23-26, 2015, Proceedings

Alan Turing: The Enigma: The Book That Inspired the Film The Imitation Game - Updated Edition

The Semantic Web: Semantics and Big Data: 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings

That's Maths: The Mathematical Magic in Everyday Life

Information Access Evaluation. Multilinguality, Multimodality, and Visualization: 4th International Conference of the CLEF Initiative, CLEF 2013, Valencia, Spain, September 23-26, 2013. Proceedings