Filter by
Software studies : A Lexicon
This collection of short expository, critical and speculative texts offers a field guide to the cultural, political, social and aesthetic impact of software. Experts from a range of disciplines each take a key topic in software and the understanding of software, such as algorithms and logical structures.
- Edition
- -
- ISBN/ISSN
- -
- Collation
- 1 online resource (xii, 334 pages) : illustrations.
- Series Title
- -
- Call Number
- -
The primacy of grammar
The contemporary discipline of biolinguistics is beginning to have the feel of scientific inquiry. Biolinguistics—especially the work of Noam Chomsky—suggests that the design of language may be “perfect”: language is an optimal solution to conditions of sound and meaning. What is the scope of this inquiry? Which aspect of nature does this science investigate? What is its relation to the…
- Edition
- -
- ISBN/ISSN
- 9780262280310
- Collation
- 1 online resource (xix, 278 pages) :illustrations, music
- Series Title
- -
- Call Number
- -
Logic Programming: The 14th International Conference
"The International Conference on Logic Programming is the main annual conference sponsored by the Association for Logic Programming. It covers the latest research in areas such as theoretical foundations, constraints, concurrency and parallelism, deductive databases, language design and implementation nonmonotonic reasoning, and logic programming and the Internet."--BOOK JACKET.
- Edition
- 1
- ISBN/ISSN
- 9780262291354
- Collation
- -
- Series Title
- -
- Call Number
- -
The Kantian Legacy in Nineteenth-Century Science The Kantian Legacy in Ninet…
"Historians of philosophy, science, and mathematics explore the influence of Kant's philosophy on the evolution of modern scientific thought."--Jacket.
- Edition
- 1
- ISBN/ISSN
- 9780262273268
- Collation
- -
- Series Title
- -
- Call Number
- -
Logic Programming: The 12th International Conference
"13-16 June 1995, Tokyo, Japan ICLP, which is sponsored by the Association for Logic Programming, is one of two major annual international conferences reporting recent research results in logic programming. Logic programming originates from the discovery that a subset of predicate logic could be given a procedural interpretation which was first embodied in the programming language, Prolog. The …
- Edition
- 1
- ISBN/ISSN
- 9780262291439
- Collation
- -
- Series Title
- -
- Call Number
- -
Terms and Truth: Reference Direct and Anaphoric
A Bradford book."In this book, Alan Berger further develops the new theory of reference -- as formulated by Kripke and Putnam -- applying it in novel ways to many philosophical problems concerning reference and existence. Berger argues that his notion of anaphoric background condition and anaphoric links within a linguistic community are crucial not only to a theory of reference, but to the ana…
- Edition
- -
- ISBN/ISSN
- 9780262268219
- Collation
- 1 online resource (xvii, 234 pages).
- 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
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography