Logics
Many-Dimensional Modal Logics:Theory and Applications
ISBN:9780444508263Modal logics, originally conceived in philosophy, have recently found many applications in computer...
Many Dimensional Modal Logics Theory and Applications
Principle of Universal Logics
ISBN:9787030177629《Principle of Universal Logics》讲述了:The 1 st Worid Congress and School on Universal Logic.initiated ...
Non-Standard Inferences in Description Logics
ISBN:9783540423973在线阅读本书 Description logics (DLs) are used to represent structured knowledge. Inference ...
Non Standard Inferences in Description Logics
Theorem Proving in Higher Order Logics
ISBN:9783540425250在线阅读本书 This book constitutes the thoroughly refereed proceedings of the 14th Internati...
Theorem Proving in Higher Order Logics
Logics of Disintegration
ISBN:9781844675746A dramatic attack on the thought of Derrida, Foucault and Lacan. ...
Logics in Artificial Intelligence
ISBN:9783540232421...
Logics in Artificial Intelligence
高次逻辑中的定理证明 Theorem proving in higher order logics
ISBN:9783540440390在线阅读本书 This book constitutes the refereed proceedings of the 15th Internatio...
高 次 逻辑 中的 定理 证明 Theorem proving in higher order logics
Theorem Proving in Higher Order Logics
ISBN:9783540230175...
Theorem Proving in Higher Order Logics
Mestizo Logics
ISBN:9780804724296...
Modal Logics and Philosophy
ISBN:9780773521490In Part 1 the reader is introduced to some standard systems of modal logic and encouraged through a...
The Age of Alternative Logics
ISBN:9781402050114...
Logics of Time and Computation
ISBN:9780937073940Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to...
Logics of Time and Computation
Philosophy of Logics
ISBN:9780521293297The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's...
Nuclear Logics
ISBN:9780691131474...
Logics of Critical Explanation in Social and Political Theory
ISBN:9780415404280The Social Science Wars have precipitated a renewed interest in the character, purpose and methods ...
Logics of Critical Explanation in Social and Political Theory
Nuclear Logics
ISBN:9780691134680Nuclear Logics examines why some states seek nuclear weapons while others renounce them. Looking cl...
Automated Deduction in Classical and Non-Classical Logics
ISBN:9783540671909This volume presents a collection of thoroughly reviewed revised full papers on automated deduction...
Automated Deduction in Classical and Non Classical Logics
The Logics of Biopower And the War on Terror
ISBN:9781403974655...
The Logics of Biopower And the War on Terror
Logics of Hierarchy
ISBN:9780801443862...
Classical and Non-Classical Logics
ISBN:9780691122793So-called classical logic - the logic developed in the early twentieth century by Gottlob Frege, Be...
Classical and Non Classical Logics
A Treatise on Many-Valued Logics
ISBN:9780863802621...
A Treatise on Many Valued Logics
Logics for Emerging Applications of Databases
ISBN:9783540007050...
Logics for Emerging Applications of Databases
Cultural Logics and Global Economies
ISBN:9780292725348As ideas, goods, and people move with increasing ease and speed across national boundaries and geog...
Cultural Logics and Global Economies
Logics of Organization Theory
ISBN:9780691131061Building theories of organizations is challenging: theories are partial and "folk" categories are f...
Logics of Organization Theory
ISBN:9780691134505Building theories of organizations is challenging: theories are partial and "folk" categories are f...
Healing Logics
ISBN:9780874214109Scholars in folklore and anthropology are more directly involved in various aspects of medicine su...
Logics of History
ISBN:9780226749174While social scientists and historians have been exchanging ideas for a long time, they have never ...
The Logics of Social Structure
ISBN:9780521032698In this book, the author proposes an interesting approach to the study of one of the most central c...
The Logics of Social Structure
Model-Theoretic Logics
ISBN:9780387909363...
Machine Learning, Meta-Reasoning and Logics (The Springer International Series in Engineering and Computer Science)
ISBN:9780792390473...
Machine Learning Meta Reasoning and Logics The Springer International Series in Engineering and Computer Science
Logics of Critical Explanation in Social and Political Theory (Routledge Innovations in Political Theory)
ISBN:9780415462129The Social Science Wars have precipitated a renewed interest in the character, purpose and methods ...
Logics of Critical Explanation in Social and Political Theory Routledge Innovations in Political Theory
Introduction To Paraconsistent Logics
ISBN:9780820476711...
Introduction To Paraconsistent Logics
Logics of Worlds
ISBN:9780826494702Logics of Worlds is the long-awaited sequel to Alain Badiou's much heralded masterpiece, Being and ...
Logics of Television (Theories of Contemporary Culture)
ISBN:9780253205827"This intellectually sexy collection features some of the best and brightest academic media analyst...
Logics of Television Theories of Contemporary Culture
An Introduction to Paraconsistent Logics
ISBN:9783631534137...
An Introduction to Paraconsistent Logics
Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)
ISBN:9783540741060...
Logics of Specification Languages Monographs in Theoretical Computer Science An EATCS Series
Logics of Conversation (Studies in Natural Language Processing)
ISBN:9780521659512People often mean more than they say. Grammar on its own is typically insufficient for determining ...
Logics of Conversation Studies in Natural Language Processing
Feature Logics
ISBN:9781881526254...
Logics in AI
ISBN:9783540536864...
Meta-Logics and Logic Programming
ISBN:9780262511681Investigating meta-programming within the logic programming paradigm, Meta-Logics and Logic Program...
Meta Logics and Logic Programming
Substructural Logics (Studies in Logic and Computation)
ISBN:9780198537779...
Substructural Logics Studies in Logic and Computation
Logics from the Third Eye
ISBN:9780932927255...
Logics of Hierarchy
ISBN:9780801474835...
Theorem Proving in Higher Order Logics
ISBN:9783540664635...
Theorem Proving in Higher Order Logics
Many-Valued Logics
ISBN:9783540559269...
Completeness Theory for Propositional Logics
ISBN:9783764385170The book develops the theory of one of the most important notions in the methodology of formal syst...
Completeness Theory for Propositional Logics
Logics in Artificial Intelligence
ISBN:9783540878025This book constitutes the refereed proceedings of the 11th European Conference on Logics in Artific...
Logics in Artificial Intelligence
Proof Theory for Fuzzy Logics
ISBN:9781402094088...
The Logics of Globalization
ISBN:9780739121832This book presents the theoretical language and methodological tools needed for thinking through is...
An Introduction to Substructural Logics
ISBN:9780415215343An introduction to an important group of logics that have come to be known under the umbrella term ...
An Introduction to Substructural Logics