当前位置:在线查询网 > 图书大全 > Logics

Logics_图书大全


请输入要查询的图书:

可以输入图书全称,关键词或ISBN号

Many-Dimensional Modal Logics:Theory and Applications

ISBN:9780444508263

Modal 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 ...

Principle of Universal Logics


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:9781844675746

A dramatic attack on the thought of Derrida, Foucault and Lacan. ...

Logics of Disintegration


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

...

Mestizo Logics


Modal Logics and Philosophy

ISBN:9780773521490

In Part 1 the reader is introduced to some standard systems of modal logic and encouraged through a...

Modal Logics and Philosophy


The Age of Alternative Logics

ISBN:9781402050114

...

The Age of Alternative Logics


Logics of Time and Computation

ISBN:9780937073940

Sets out the basic theory of normal modal and temporal propositional logics; applies this theory to...

Logics of Time and Computation


Philosophy of Logics

ISBN:9780521293297

The first systematic exposition of all the central topics in the philosophy of logic, Susan Haack's...

Philosophy of Logics


Nuclear Logics

ISBN:9780691131474

...

Nuclear Logics


Logics of Critical Explanation in Social and Political Theory

ISBN:9780415404280

The 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:9780691134680

Nuclear Logics examines why some states seek nuclear weapons while others renounce them. Looking cl...

Nuclear Logics


Automated Deduction in Classical and Non-Classical Logics

ISBN:9783540671909

This 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

...

Logics of Hierarchy


Classical and Non-Classical Logics

ISBN:9780691122793

So-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:9780292725348

As 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:9780691131061

Building theories of organizations is challenging: theories are partial and "folk" categories are f...

Logics of Organization Theory


Logics of Organization Theory

ISBN:9780691134505

Building theories of organizations is challenging: theories are partial and "folk" categories are f...

Logics of Organization Theory


Healing Logics

ISBN:9780874214109

Scholars in folklore and anthropology are more directly involved in various aspects of medicine su...

Healing Logics


Logics of History

ISBN:9780226749174

While social scientists and historians have been exchanging ideas for a long time, they have never ...

Logics of History


The Logics of Social Structure

ISBN:9780521032698

In 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

...

Model Theoretic Logics


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:9780415462129

The 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:9780826494702

Logics of Worlds is the long-awaited sequel to Alain Badiou's much heralded masterpiece, Being and ...

Logics of Worlds


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:9780521659512

People 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

...

Feature Logics


Logics in AI

ISBN:9783540536864

...

Logics in AI


Meta-Logics and Logic Programming

ISBN:9780262511681

Investigating 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 from the Third Eye


Logics of Hierarchy

ISBN:9780801474835

...

Logics of Hierarchy


Theorem Proving in Higher Order Logics

ISBN:9783540664635

...

Theorem Proving in Higher Order Logics


Many-Valued Logics

ISBN:9783540559269

...

Many Valued Logics


Completeness Theory for Propositional Logics

ISBN:9783764385170

The 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:9783540878025

This 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

...

Proof Theory for Fuzzy Logics


The Logics of Globalization

ISBN:9780739121832

This book presents the theoretical language and methodological tools needed for thinking through is...

The Logics of Globalization


An Introduction to Substructural Logics

ISBN:9780415215343

An introduction to an important group of logics that have come to be known under the umbrella term ...

An Introduction to Substructural Logics