Filter by
Lingua ex Machina: Reconciling Darwin and Chomsky with the Human Brain
"A proper lingua ex machina would be a language machine capable of nesting phrases and clauses inside one another, complete with evolutionary pedigree. Such circuitry for structured thought might also facilitate creative shaping up of quality (figuring out what to do with the leftovers in the refrigerator), contingency planning, procedural games, logic, and even music. And enhancing structural …
- Edition
- 1
- ISBN/ISSN
- 9780262316132
- Collation
- -
- Series Title
- -
- Call Number
- -
"The Linguistic Turn in Hermeneutic Philosophy "
This popular introductory linguistics text is unique in the way various themes are integrated throughout the book. One primary theme is the question, "How is a speaker's communicative intent recognized?" Rather than treat phonology, phonetics, morphology, syntax, semantics, and pragmatics as completely separate fields, the text shows how they interact in principled ways. Similarly, language var…
- Edition
- 1
- ISBN/ISSN
- 9780262277860
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: The 1997 International Symposium
The annual International Logic Programming Symposium, traditionally held in North America, is one of the main international conferences sponsored by the Association of Logic Programming. The themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research directions where ideas originating from logic programming can play a fundamental role, and …
- Edition
- 1
- ISBN/ISSN
- 9780262291323
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: The 1995 International Symposium
"December 4-7, 1995, Portland, Oregon The International Logic Programming Symposium is one of two major international conferences sponsored by the Association of Logic Programming. It is held annually in North America. The theme for the 1995 conference is "Declarative Systems," particularly the integration of the logic programming, functional programming, and object-oriented programming paradig…
- Edition
- 1
- ISBN/ISSN
- 9780262291248
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: Proceedings of the 1996 Joint International Conference and…
v
- Edition
- 1
- ISBN/ISSN
- 9780262291309
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: Proceedings of the Tenth International Conference on Logic…
"The Tenth International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its va…
- Edition
- 1
- ISBN/ISSN
- 9780262291460
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: Proceedings of the 1999 International Conference on Logic …
Includes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation, nonmonotonic reasoning, and logic programming and the Internet.The International Conference on Logic Programming, sponsored by the Association for Logic Programming, includes t…
- Edition
- 1
- ISBN/ISSN
- 9780262291118
- Collation
- -
- Series Title
- -
- Call Number
- -
Certified Programming with Dependent Types: A Pragmatic Introduction to the C…
A handbook to the Coq software for writing and checking mathematical proofs, with a practical engineering focus. The technology of mechanized program verification can play a supporting role in many kinds of research projects in computer science, and related tools for formal proof-checking are seeing increasing adoption in mathematics and engineering. This book provides an introduction to the Co…
- Edition
- -
- ISBN/ISSN
- 9780262026659
- Collation
- -
- Series Title
- -
- Call Number
- -
Numerica :a modeling language for global optimization
Many science and engineering applications require the user to find solutions to systems of nonlinear constraints or to optimize a nonlinear function subject to nonlinear constraints. The field of global optimization is the study of methods to find all solutions to systems of nonlinear constraints and all global optima to optimization problems. Numerica is modeling language for global optimizati…
- Edition
- -
- ISBN/ISSN
- 9780262288408
- Collation
- 1 online resource (xvii, 210 pages) :illustrations
- Series Title
- -
- Call Number
- -
Object-oriented programming :the CLOS perspective
To date, books on object-oriented programming have focused either on the methodology of the object-oriented paradigm or on teaching the details of a particular programming language. This collection takes a different approach, examining one object-oriented programming language - the Common-Lisp Object System (CLOS) - as a modern programming tool. The fourteen contributions examine CLOS from a va…
- Edition
- -
- ISBN/ISSN
- 9780262256759
- Collation
- 1 online resource (viii, 352 pages) :illustrations
- Series Title
- -
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography