Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003, Proceedings

How to Solve It: A New Aspect of Mathematical Method

Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part II

Short Tricks of Math

Multi-Objective Optimization using Artificial Intelligence Techniques

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

Deep Learning in Natural Language Processing

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

Rules and Rule Markup Languages for the Semantic Web: Third International Workshop, RuleML 2004, Hiroshima, Japan, November 8, 2004, 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

Multiagent Systems: Algorithmic, Game-Theoretic, and Logical Foundations

The Semantic Web: ESWC 2011 Workshops: Workshops at the 8th Extended Semantic Web Conference, ESWC 2011, Heraklion, Greece, May 29-30, 2011, Revised Selected Papers

536 Puzzles and Curious Problems

FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

Logic: A Very Short Introduction: Edition 2

Chinese Computational Linguistics and Natural Language Processing Based on Naturally Annotated Big Data: 13th China National Conference, CCL 2014, and First International Symposium, NLP-NABD 2014, Wuhan, China, October 18-19, 2014. Proceedings

Foundations and Fundamental Concepts of Mathematics

Dependable Software Engineering. Theories, Tools, and Applications: 9th International Symposium, SETTA 2023, Nanjing, China, November 27–29, 2023, Proceedings

That's Maths: The Mathematical Magic in Everyday Life