Active Bibliography

813 The Semantics Of Constraint Logic Programs – Joxan Jaffar, Michael Maher, Kim Marriott, Peter Stuckey - 1996
480 Problems in Computational Geometry – Michael Ian Shamos - 1974
2 PLURALISM IN MATHEMATICS – E. B. Davies - 2004
301 Control of Systems Integrating Logic, Dynamics, and Constraints – Alberto Bemporad, Manfred Morari - 1998
286 Image Representation Using 2D Gabor Wavelets – Tai Sing Lee - 1996
WHITHER MATHEMATICS? – E. B. Davies - 2004
230 A Logic for Reasoning about Probabilities – R Fagin, J Halpern, N Megiddo - 1990
209 Fast Collision Detection between Geometric Models – Ming C. Lin, Dinesh Manocha , John Canny - 1993
191 A New Recursion-Theoretic Characterization Of The Polytime Functions – Stephen Bellantoni, Stephen Cook - 1992