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

Automated Deduction – CADE 26: 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings

Short Tricks of Math

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)

Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings

Symbolic Computation and Automated Reasoning: The CALCULEMUS-2000 Symposium

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

Communicating with XML

Farming Simulator Modding For Dummies

Gravity Advanced Level Physics GCE (Easy JavaScript Simulation) 1/2: 20170802 version

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

Mathematical Modelling

Perspectives on Business Intelligence

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

Artificial Intelligence. ECAI 2023 International Workshops: XAI^3, TACTIFUL, XI-ML, SEDAMI, RAAIT, AI4S, HYDRA, AI4AI, Kraków, Poland, September 30 – October 4, 2023, Proceedings, Part I

Construction Program Management – Decision Making and Optimization Techniques