Search results for “[Subject: logic-design]”

• Author(s): Krzysztof R. Apt | J. W. de Bakker | J. M. Rutten • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Logic DesignThis collection of current research on logic programming languages presents results from a three-year, ESPRI...

• Author(s): Jan Maluszynski • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming Languages - GeneralThe themes of the 1997 conference are new theoretical and practical accomplishments in logic programming, new research dire...

• Author(s): Danny de Schreye • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Artificial Intelligence - GeneralIncludes tutorials, lectures, and refereed papers on all aspects of logic programming, including theoretical foundations...

• Author(s): David Agler • Publisher: Rowman & Littlefield Publishers • Publisher Imprint: Rowman & Littlefield Publishers • BISAC: LogicBrimming with visual examples of concepts, derivation rules, and proof strategies, this introductory ...

• Author(s): Johan Van Benthem • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Game Theory A comprehensive examination of the interfaces of logic, computer science, and game theory, drawing on twenty years of research on lo...

• Author(s): Krzysztof R. Apt | Franco Turini • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Intelligence (AI) & SemanticsInvestigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Programming ...

• Author(s): Richard L. Epstein | Walter A. Carnielli • Publisher: Advanced Reasoning Forum • Publisher Imprint: Advanced Reasoning Forum • BISAC: Logic

• Author(s): David Agler • Publisher: Rowman & Littlefield Publishers • Publisher Imprint: Rowman & Littlefield Publishers • BISAC: LogicBrimming with visual examples of concepts, derivation rules, and proof strategies, this introductory ...

• Author(s): Pascal Van Hentenryck • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Programming Languages - GeneralConference proceedings presenting the state-of-the-art in Logic Programming.

• Author(s): Norman L. Geisler | Ronald M. Brooks • Publisher: Baker Academic • Publisher Imprint: Baker Academic • BISAC: Philosophy

• Author(s): Harvey Abramson | M. H. Rogers • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Artificial Intelligence - GeneralA comprehensive survey of the theory and applications of meta-programming, covering problems of representa...

• Author(s): A. J. Medland • Publisher: Springer • Publisher Imprint: Springer • BISAC: Design, Graphics & Media - CAD-CAMFrom the Back CoverThis book explores the use of Computer Aided Design (CAD) techniques in the solution of mechanical en...

• Author(s): Georg Henrik Von Wright • Publisher: Cornell University Press • Publisher Imprint: Cornell University Press • BISAC: LogicFor the last 25 years, since publication of his Logical Studies, Professor Von Wright has steadily explored the...

• Author(s): Gregory Johnson • Publisher: MIT Press • Publisher Imprint: MIT Press • Subject: Religion and Philosophy • BISAC: LogicA thorough and practical introduction to inductive logic with a focus on arguments and the rules used for making i...

• Author(s): Bob Carpenter • Publisher: Bradford Book • Publisher Imprint: Bradford Book • BISAC: Grammar & PunctuationBased on an introductory course on natural-language semantics, this book provides an introduction to type-logical grammar a...

• Author(s): John Slater | Bernd Frohmann • Publisher: Routledge • Publisher Imprint: Routledge • BISAC: History & Surveys - ModernThe years covered by this volume of the Collected Papers of Bertrand Russell were among the most productive, ph...

• Author(s): Hao Wang • Publisher: Bradford Book • Publisher Imprint: Bradford Book • BISAC: LogicHao Wang (1921-1995) was one of the few confidants of the great mathematician and logician Kurt Gödel. A Logical Journey is a continuation of Wang's...

• Author(s): Katie Salen Tekinbas • Publisher: The MIT Press • Publisher Imprint: The MIT Press • BISAC: Computer ScienceClassic and cutting-edge writings on games, spanning nearly 50 years of game analysis and criticism, by game designers, game ...

• Author(s): Jesper Simonsen | Connie Svabo | Sara Malou Strandvad • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Social Aspects - Human-Computer InteractionA handbook of situated design methods, with analyses and cases that range...

• Author(s): Barry Allen • Publisher: Cornell University Press • Publisher Imprint: Cornell University Press • BISAC: Aesthetics"As familiar and widely appreciated works of modern technology, bridges are a good place to study the relationship bet...

• Author(s): Thomas Princen • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Public Policy - Economic PolicyWhat if modern society put a priority on the material security of its citizens and the ecological integrity of its resource ...

• Author(s): Matthias Gross • Publisher: MIT Press • Publisher Imprint: MIT Press • BISAC: Philosophy & Social AspectsThe relationship between ignorance and surprise and a conceptual framework for dealing with the unexpected, as seen in ecolo...

• Author(s): Robert T. Pennock • Publisher: MIT Press (MA) • Publisher Imprint: MIT Press (MA) • BISAC: CosmologyThe last decade saw the arrival of a new player in the creation/evolution debate--the intelligent design creationism (IDC) movement, ...

• Author(s): Terrance Hayes • Publisher: Penguin Publishing Group • Publisher Imprint: Penguin Publishing Group • BISAC: American - African American & BlackThe second collection of poetry from the author of Lighthead, winner of the 2010 Natio...

• Author(s): James M. Buchanan • Publisher: MIXIG • Publisher Imprint: MIXIG • Subject: Politics and Current Affairs • BISAC: Political Ideologies - DemocracyThe Calculus of Consent, the second volume of Liberty Fund's The Selected Works of Gord...

• Author(s): James M. Buchanan • Publisher: Liberty Fund • Publisher Imprint: Liberty Fund • BISAC: Economics - GeneralEconomic Inquiry and Its Logic presents a collection of Buchanan's most representative works in economic method and analysis. A...

• Author(s): Alex W. White • Publisher: Allworth • Publisher Imprint: Allworth • BISAC: Graphic Arts - Branding & Logo DesignA Visually Stunning Guide to Learning the Art of Logo Design Designers looking to learn the art of designing logos ne...

• Author(s): Wilfrid Hodges • Publisher: Penguin UK • Publisher Imprint: Penguin UK • BISAC: LogicIf a man supports Arsenal one day and Spurs the next, then he is fickle but not necessarily illogical. From this starting point, and assuming no pre...

• Author(s): Bert Bielefeld • Publisher: Birkhauser • Publisher Imprint: Birkhauser • BISAC: History - GeneralDesign Ideas offers students a variety of different ways to go about finding a design solution. In addition to suggesting fundamental wa...