C++ Template Metaprogramming: Concepts, Tools, and Techniques ...
David Abrahams & Aleksey Gurtovoy
Prolog for Natural Language Processing
Patrick Saint-Dizier & Harold Somers & Annie Gal & Guy Lapalme
Psycholinguistics: A Resource Book for Students
John Field
Theories of Integration: The Integrals of Riemann, Lebesgue, ...
Douglas S. Kurtz & Charles Swartz
Modern Methods in Mathematical Physics: Integral Equations in ...
Vladimir Ryzhov & Tatiana Fedorova & Kirill Safronov & Shaharin Anwar Sulaiman & Samsul Ariffin Abdul Karim
Concepts of Proof in Mathematics, Philosophy, and Computer Science
Dieter Probst & Peter Schuster
Ontos Mathematical Logic (6)