Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
van Emden, Maarten - Department of Computer Science, University of Victoria
The logic programming paradigm in numerical computation M.H. van Emden \Lambda
On Warren's Method for Functional Programming in Logic
To appear in series Nonconvex Global Optimization and Its Applications Kluwer Academic Publishers
Structured Inspections of Code \Lambda M.H. van Emden y
The Semantics of Predicate Logic as a Programming Language M. H. VAN EMDEN AND R. A. KOWALSKI
Combining Numerical Analysis and Constraint Processing by Means of Controlled Propagation
Algorithmic Power from Declarative Use of Redundant Constraints M.H. van Emden
IT news Sept 26, 2007 Janis O'Bryan views traditional spreadsheet applications in the same light as floppy
Interval Arithmetic: from Principles to Implementation T. Hickey, Q. Ju
SCHOOL OF ARTIFICIAL INTELLIGENCE UNIVERSITY OF EDINBURGH
1 The logic programming paradigm in numerical computation
Using the duality principle to improve lower bounds for the global minimum in nonconvex optimization
A Method for Implementing Equational Theories as Logic Programs
Algorithmic Power from Declarative Use of Redundant Constraints M.H. van Emden
Interval Arithmetic: from Principles to Implementation
Value constraints in the CLP scheme M.H. van Emden
To appear in series Nonconvex Global Optimization and Its Applications Kluwer Academic Publishers
Principles of Constraint Programming By Krzysztof R. Apt. Cambridge University Press, Cam-bridge, 2003. GBP 35.00. xii + 407 pp., hardcover. ISBN 0-521-82583-0.