50 Bedtime Stories
Belinda Gallagher
Complexity Results and Practical Algorithms for Logics in Knowledge ...
Stephan Tobies
Labelled Deduction
Dov M. Gabbay & David Basin & M. D'Agostino & Seán Matthews & Luca Viganò
Prolog for Natural Language Processing
Patrick Saint-Dizier & Harold Somers & Annie Gal & Guy Lapalme
Software Testing Foundations: A Study Guide for the Certified ...
Andreas Spillner & Tilo Linz
Beyond the Third Dimension: Geometry, Computer Graphics, and ...
Thomas Banchoff