Functional and Logic Programming: 17th International Symposium, FLOPS 2024, Kumamoto, Japan, May 15–17, 2024, Proceedings

Facts Over Faith: 28 Shocking Biblical Facts That Can Set Anyone Free From Christianity

Automated Reasoning: 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

Programming with Higher-Order Logic

Cultural Divides: Understanding and Overcoming Group Conflict