Filter by
Dynamic logic
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic,…
- Edition
- -
- ISBN/ISSN
- 9780262274951
- Collation
- 1 online resource (xv, 459 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Word and Object
A new edition of Quine's most important work.Willard Van Orman Quine begins this influential work by declaring, "Language is a social art. In acquiring it we have to depend entirely on intersubjectively available cues as to what to say and when." As Patricia Smith Churchland notes in her foreword to this new edition, with Word and Object Quine challenged the tradition of conceptual analysis as …
- Edition
- New ed.
- ISBN/ISSN
- 9780262312790
- Collation
- 1 online resource (xxx, 277 pages)
- Series Title
- -
- Call Number
- -
Lonely Ideas: Can Russia Compete?
When have you gone into an electronics store, picked up a desirable gadget, and found that it was labeled "Made in Russia"? Probably never. Russia, despite its epic intellectual achievements in music, literature, art, and pure science, is a negligible presence in world technology. Despite its current leaders' ambitions to create a knowledge economy, Russia is economically dependent on gas and o…
- Edition
- -
- ISBN/ISSN
- 9781461942979
- Collation
- 1 online resource (xi, 204 pages)
- Series Title
- -
- Call Number
- -
Financing Innovation in the United States, 1870 to Present
Leading economists and economic historians offer case studies and theoretical perspectives that fill a longstanding gap in the existing literature on technology-driven industrial development, discussing the interaction of finance and technological innovat.OCLC-licensed vendor bibliographic record.
- Edition
- -
- ISBN/ISSN
- 9780262277884
- Collation
- 1 online resource (1 volume)
- Series Title
- -
- Call Number
- -
Foundations of Systems Biology
An overview of the methodologies and techniques of the emerging field of systems biology.The emerging field of systems biology involves the application of experimental, theoretical, and modeling techniques to the study of biological organisms at all levels, from the molecular, through the cellular, to the behavioral. Its aim is to understand biological processes as whole systems instead of as i…
- Edition
- -
- ISBN/ISSN
- 9780262277204
- Collation
- 1 online resource (xv, 297 pages) :illustrations
- Series Title
- -
- Call Number
- -
Evolving households :the imprint of technology on life
The transformative effect of technological change on households and culture, seen from a macroeconomic perspective through simple economic models.In Evolving Households, Jeremy Greenwood argues that technological progress has had as significant an effect on households as it had on industry. Taking a macroeconomic perspective, Greenwood develops simple economic models to study such phenomena as …
- Edition
- -
- ISBN/ISSN
- 9780262350853
- Collation
- 1 online resource (xiv, 315 pages)
- Series Title
- -
- Call Number
- -
From Logic to Logic Programming
This mathematically oriented introduction to the theory of logic programming presents a systematic exposition of the resolution method for propositional, first-order, and Horn- clause logics, together with an analysis of the semantic aspects of the method. It is through the inference rule of resolution that both proofs and computations can be manipulated on computers, and this book contains ele…
- Edition
- -
- ISBN/ISSN
- 9780262288477
- Collation
- 1 online resource (xii, 214 pages) :illustrations.
- Series Title
- -
- Call Number
- -
Reconceptualizing the Industrial Revolution
Closely linked essays examine distinctive national patterns of industrialization.This collection of essays offers new perspectives on the Industrial Revolution as a global phenomenon. The fifteen contributors go beyond the longstanding view of industrialization as a linear process marked by discrete stages. Instead, they examine a lengthy and creative period in the history of industrialization,…
- Edition
- -
- ISBN/ISSN
- 9780262289504
- Collation
- 1 online resource (vi, 356 pages).
- Series Title
- -
- Call Number
- -
The synthetic age :outdesigning evolution, resurrecting species, and reengine…
Imagining a future in which humans fundamentally reshape the natural world using nanotechnology, synthetic biology, de-extinction, and climate engineering. We have all heard that there are no longer any places left on Earth untouched by humans. The significance of this goes beyond statistics documenting melting glaciers and shrinking species counts. It signals a new geological epoch. In The Syn…
- Edition
- -
- ISBN/ISSN
- 9780262345293
- Collation
- 1 online resource (224 pages)
- Series Title
- -
- Call Number
- -
A grammatical view of logic programming
This book describes a complementary approach that views logic programs as grammars and shows how this new presentation of the foundations of logic programming, based on the notion of proof trees, can enrich the field.Within the field of logic programming there have been numerous attempts to transform grammars into logic programs. This book describes a complementary approach that views logic pro…
- Edition
- -
- ISBN/ISSN
- 9780262290845
- Collation
- 1 online resource (xxxi, 454 pages) : illustrations.
- Series Title
- Logic Programming
- Call Number
- -
Computer Science, Information & General Works 
Philosophy & Psychology 
Religion 
Social Sciences 
Language 
Pure Science 
Applied Sciences 
Art & Recreation 
Literature 
History & Geography