Filter by
Logic programming languages :constraints, functions, and objects
"This collection of current research on logic programming languages presents results from a three-year, ESPRIT-funded effort to explore the integration of the foundational issues of functional, logic, and object-oriented programming. It offers valuable insights into the fast-developing extensions of logic programming with functions, constraints, concurrency, and objects. Chapters are grouped ac…
- Edition
- -
- ISBN/ISSN
- 9780262255646
- Collation
- 1 online resource (xiv, 204 pages).
- 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
- -
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
- -
Programming with constraints :an introduction
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…
- Edition
- -
- ISBN/ISSN
- 0262279169
- Collation
- 1 online resource (488 pages).
- Series Title
- -
- Call Number
- -
Rationality and logic
"A Bradford book."An argument that logic is intrinsically psychological and human psychology is intrinsically logical, and that the connection between human rationality and logic is both constitutive and mutual.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262274852
- Collation
- 1 online resource (xxii, 316 pages)
- Series Title
- -
- Call Number
- -
The psychology of proof :deductive reasoning in human thinking
"A Bradford book."OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262282413
- Collation
- 1 online resource (xiii, 449 pages) :illustrations
- Series Title
- -
- Call Number
- -
Retooling :a historian confronts technological change
A humanistic account of the changing role of technology in society, by a historian and a former Dean of Students and Undergraduate Education at MIT.When Warren Kendall Lewis left Spring Garden Farm in Delaware in 1901 to enter MIT, he had no idea that he was becoming part of a profession that would bring untold good to his country but would also contribute to the death of his family's farm. In …
- Edition
- -
- ISBN/ISSN
- 9780262286299
- Collation
- 1 online resource (xv, 252 pages)
- Series Title
- -
- Call Number
- -
Rethinking homeostasis :allostatic regulation in physiology and pathophysiology
"A Bradford book."Homeostasis, a key concept in biology, refers to the tendency toward stability in the various bodily states that make up the internal environment. Examples include temperature regulation and oxygen consumption. The body's needs, however, do not remain constant. When an organism is under stress, the central nervous system works with the endocrine system to use resources to main…
- Edition
- -
- ISBN/ISSN
- 9780262283274
- Collation
- 1 online resource (xvi, 296 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Reliable reasoning :induction and statistical learning theory
"A Bradford book."The implications for philosophy and cognitive science of developments in statistical learning theory.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262274975
- Collation
- 1 online resource (x, 108 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Specificity and the macroeconomics of restructuring
A proposal that the notion of specificity-the idea that factors of production are not interchangeable-can provide a unified framework to analyze and understand a wide variety of macroeconomic phenomena stemming from the transactional environment and micro.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 128209856X
- Collation
- 1 online resource (xii, 331 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