Title from title screen (viewed October 24, 2005).OCLC-licensed vendor bibliographic record.
AnnotationOCLC-licensed vendor bibliographic record.
This collection of original essays reflects the breadth of current research in computer science.This collection of original essays reflects the breadth of current research in computer science. Robin Milner, a major figure in the field, has made many fundamental contributions, particularly in theoretical computer science, the theory of programming languages, and functional programming languages.…
This work is the culmination of an eighteen-year collaboration between Ken Hale and Samuel Jay Keyser on the study of the syntax of lexical items. It examines the hypothesis that the behavior of lexical items may be explained in terms of a very small number of very simple principles. In particular, a lexical item is assumed to project a syntactic configuration defined over just two relations, c…
"The MIT Press."This technological fantasy, the product of the MIT Students System Project and the inspiration for the 1979 film "Meteor," presents a plan for avoiding a hypothetical collision between Earth and the Apollo asteroid, Icarus, which sweeps by every nineteen years within a few million miles (a near-miss in astronomical terms). Collision with a four billion-ton rock would create a ca…
All academic disciplines periodically appraise their effectiveness, evaluating the progress of previous scholarship and judging which approaches are useful and which are not. Although no field could survive if it did nothing but appraise its progress, occasional appraisals are important and if done well can help advance the field. This book investigates how international relations theorists can…
The job of the constraint programmer is to use mathematical constraints to model real world constraints and objects. In this book, Kim Marriott and Peter Stuckey provide the first comprehensive introduction to the discipline of constraint programming and, in particular, constraint logic programming. The book covers the necessary background material from artificial intelligence, logic programmin…
This guide illustrates typical ZPL usage and explains in an intuitive manner how the constructs work. The emphasis is on teaching the reader to be a ZPL programmer. Scientific computations are used as examples throughout.OCLC-licensed vendor bibliographic record.
Includes index.The manual describes LISP, a formal mathematical language. LISP differs from most programming languages in three important ways. The first way is in the nature of the data.The LISP language is designed primarily for symbolic data processing used for symbolic calculations in differential and integral calculus, electrical circuit theory, mathematical logic, game playing, and other …
"A Bradford book."OCLC-licensed vendor bibliographic record.