Filter by
Logic programming :proceedings of the Fourteenth International Conference on …
"July 8-12, 1997, Leuven, Belgium"--Page 4 of cover."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 programm…
- Edition
- -
- ISBN/ISSN
- 0262291355
- Collation
- 1 online resource (xvii, 424 pages) :illustrations
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the twelfth International Conference on Log…
"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
- -
- ISBN/ISSN
- 9780262291439
- Collation
- 1 online resource (xx, 834 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic and information flow
"The thirteen chapters written expressly for this book by logicians, theoretical computer scientists, philosophers, and semanticists address, from the perspective of mathematical logic, the problems of understanding and studying the flow of information through any information-processing system. The logic of information flow has applications in both computer science and natural language processi…
- Edition
- -
- ISBN/ISSN
- 0585358451
- Collation
- 1 online resource (233 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Logic programming :proceedings of the 1997 International Symposium
Symposium held Oct. 13-16, 1997.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 c…
- Edition
- -
- ISBN/ISSN
- 9780262291323
- Collation
- 1 online resource (xvi, 425 pages) :illustrations.
- Series Title
- -
- Call Number
- -
The LOCUS distributed system architecture
"Computer systems consisting of many machines will be the norm within a few years. However, making a collection of machines appear as a single, coherent system - in which the location of files, servers, programs, or users is invisible to users who do not wish to know - is a very difficult problem. LOCUS, a distributed version of the popular operating system Unix, provides an excellent solution.…
- Edition
- -
- ISBN/ISSN
- 0262288419
- Collation
- 1 online resource (xv, 148 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Leonardo's laptop :human needs and the new computing technologies
"Ben Shneiderman's book dramatically raises computer users' expectations of what they should get from technology. He opens their eyes to new possibilities and invites them to think freshly about future technology. He challenges developers to build products that better support human needs and that are usable at any bandwidth. Shneiderman proposes Leonardo da Vinci as an inspirational muse for th…
- Edition
- -
- ISBN/ISSN
- 9780262256988
- Collation
- 1 online resource (xi, 269 pages) :illustrations
- Series Title
- -
- Call Number
- -
Neither brain nor ghost :a nondualist alternative to the mind-brain identity …
In this highly original work, Teed Rockwell rejects both dualism and the mind-brain identity theory. He proposes instead that mental phenomena emerge not merely from brain activity but from an interacting nexus of brain, body, and world. The mind can be seen not as an organ within the body, but as a "behavioral field" that fluctuates within this brain-body-world nexus. If we reject the dominant…
- Edition
- -
- ISBN/ISSN
- 0262681676
- Collation
- 1 online resource (xxii, 231 pages) :illustrations
- Series Title
- -
- Call Number
- -
The mind's arrows :Bayes nets and graphical causal models in psychology
"A Bradford book."In recent years, small groups of statisticians, computer scientists, and philosophers have developed an account of how partial causal knowledge can be used to compute the effect of actions and how causal relations can be learned, at least by computers. The representations used in the emerging theory are causal Bayes nets or graphical causal models. In his new book, Clark Glymo…
- Edition
- -
- ISBN/ISSN
- 9780262273961
- Collation
- 1 online resource (xv, 222 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Mind readings :introductory selections on cognitive science
"A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262315906
- Collation
- 1 online resource (xii, 344 pages) :illustrations
- Series Title
- -
- Call Number
- -
The Microelectronics revolution :the complete guide to the new technology and…
"The Microelectronics Revolution is a comprehensive guide to the silicon chip revolution and its impact on society. The distinguished contributors to this volume explain in turn the origins and nature of microelectronics, the characteristics of the burgeoning microchip industry and the increasing use of microprocessors in everyday products.The book details the impact of this new technology on s…
- Edition
- -
- ISBN/ISSN
- 0262256169
- Collation
- 1 online resource (xvii, 589 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