A concise, rigorous, yet accessible, account of the fundamentals of constrained optimization theory. Many problems arising in diverse fields such as machine learning, medicine, chemical engineering, s
This book gives a tutorial overview of Goedel, presents example programs, provides a formal definition of the syntax and semantics of the language, and covers background material on logic. Goedel is
This contains the proceedings of the 1991 International Symposium, October 28-31, San Diego, California. Formerly called The North American Conference, the 1991 International Symposium complements the
OCTOBER 29 - NOVEMBER 1, 1990, AUSTIN, TEXASTheory and Foundations. Metaprogramming. Constraints. Implementations, Architecture. Deductive Databases. Language Issues. Relation to Other Paradigms. Para
A textbook for anyone who has a passing acquaintance with procedural languages, such as BASIC or Pascal, but who has not met a functional language like Lisp before. In addition to providing a step-by-
-- This book provides a comprehensive treatment of SQLJ with focus on SQLJ in the Oracle8i environment in a very hands-on way. In addition to learning SQLJ fundamentals, the main reader benefit includ
