Comparor Shopping Experience

Logik

4,379 Ergebnis(s)

Vorschläge für Logik

Computing Meaning: Volume 1

Computing Meaning: Volume 1

(9780792361084)

New Waves In Philosophy Of Mathematics

New Waves In Philosophy Of Mathematics

(9780230219434) | New Waves, Bueno O

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, ... Notes in Computer Science, 3210, Band 3210)

Computer Science Logic: 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, ... Notes in Computer Science, 3210, Band 3210)

(9783540230243 / 1)

Larisa Maksimova on Implication, Interpolation, and Definability

Larisa Maksimova on Implication, Interpolation, and Definability

(9783319699165) | On Implication

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size

Springer-Verlag GmbH (9783319896526 / 32071222) | And Related Logics

Logico-Philosophical Studies: Partly translated by Horace S. Glover

Logico-Philosophical Studies: Partly translated by Horace S. Glover

(9789401036511) | Logico-Philosophical Studies

Two Soviet Studies on Frege: Translated from the Russian and Edited by Ignacio Angelelli

Two Soviet Studies on Frege: Translated from the Russian and Edited by Ignacio Angelelli

Springer Netherlands (9789401036139 / biography)

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details

An Outline of Mathematical Logic: Fundamental Results and Notions Explained with all Details

(9789401021142 / biography) | Outline of Mathematical Logic

Logic, Language and Computation

Logic, Language and Computation

Springer Netherlands (9789401063777 / biography) | And Computation

Logic, Language and Reasoning: Essays In Honour Of Dov Gabbay

Logic, Language and Reasoning: Essays In Honour Of Dov Gabbay

(9789401059367 / biography) | Language and Reasoning

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

Domains and Processes: Proceedings of the 1st International Symposium on Domain Theory Shanghai, China, October 1999

(9789401038591 / biography) | Domains and Processes

Structural Reliabilism: Inductive Logic as a Theory of Justification

Structural Reliabilism: Inductive Logic as a Theory of Justification

Springer Netherlands (9789401039550 / biography) | Structural Reliabilism

New Computational Paradigms: Changing Conceptions of What is Computable

New Computational Paradigms: Changing Conceptions of What is Computable

(9781441922632)

Fuzzy Sets, Logics and Reasoning about Knowledge

Fuzzy Sets, Logics and Reasoning about Knowledge

(9780792359777)

Mind, Meaning and Mathematics: Essays on the Philosophical Views of Husserl and Frege

Mind, Meaning and Mathematics: Essays on the Philosophical Views of Husserl and Frege

(9780792327035)

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004, Proceedings

(9783540221531 / Illustrations)

The Philosophy of Michael Dummett

The Philosophy of Michael Dummett

(9780792328049)

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... Notes in Computer Science, 2850, Band 2850)

Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003, ... Notes in Computer Science, 2850, Band 2850)

(9783540201014 / Illustrations)

Alternative Logics. Do Sciences Need Them?

Alternative Logics. Do Sciences Need Them?

(9783540407447 / biography)

Inductive Logic Programming: 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings

Inductive Logic Programming: 10th International Conference, ILP 2000, London, UK, July 24-27, 2000 Proceedings

(9783540677956 / Illustrations)

Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings

Logics in Artificial Intelligence: European Workshop JELIA '94, York, UK, September 5-8, 1994. Proceedings

Springer Berlin Heidelberg (9783540583325 / 1)

Temporal Logic in Specification: Altrincham, UK, April 8-10, 1987, Proceedings

Springer Berlin Heidelberg (9783540518037 / 6886686)

CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

CSL '87: 1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987. Proceedings

Springer Berlin Heidelberg (9783540502418 / 5146400)

Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings

Logic in Databases: International Workshop LID '96, San Miniato, Italy, July 1 - 2, 1996. Proceedings

Springer Berlin Heidelberg (9783540618140 / 6944766)

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings

Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop Aspen Grove, UT, USA, September 11-14, 1995 Proceedings

Springer Berlin Heidelberg (9783540602750 / 6943810)

Recognizing Variable Environments: The Theory of Cognitive Prism

(9783642240577 / biography)

The Strength of Nonstandard Analysis

The Strength of Nonstandard Analysis

(9783211998922)

The primary synopsis of universology and Alwato : the new scientific universal language

The primary synopsis of universology and Alwato : the new scientific universal language

(9783337085582) | The primary synopsis of

A Treatise on Logic: The Laws of Pure Thought

A Treatise on Logic: The Laws of Pure Thought

(9783337005368) | Treatise on Logic

The Elements of Inductive Logic: Designed Mainly for the Use of Junior Students in the Universities. Third Edition

The Elements of Inductive Logic: Designed Mainly for the Use of Junior Students in the Universities. Third Edition

(9783337035730) | Elements of Inductive Logic

Formal Concept Analysis: 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008, Proceedings

(9783540781363 / biography)

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

Automated Deduction in Classical and Non-Classical Logics: Selected Papers

(9783540671909 / biography)

The Arché Papers on the Mathematics of Abstraction

The Arché Papers on the Mathematics of Abstraction

Springer-Verlag GmbH (9781402042645 / 6703678)

The Is-Ought Problem: An Investigation in Philosophical Logic

The Is-Ought Problem: An Investigation in Philosophical Logic

(9780792344100)

Logic-Based Artificial Intelligence

Logic-Based Artificial Intelligence

(9780792372240)

Stanislaw Lesniewski: Collected Works - Volumes I and II

Stanislaw Lesniewski: Collected Works - Volumes I and II

(9780792315124)

Filter