Logic | کتابکو

نتایج جستجو

برای Logic، صفحه ۳ از ۱۷۲ در بین ۴,۲۸۰ کتاب.

PDF

Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Models and Computability: Invited Papers from Logic Colloquium '97 - European Meeting of the Association for Symbolic Logic, Leeds, July 1997

S. Barry Cooper, 1999

DJVU

Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas

Advances in Logic: The North Texas Logic Conference, October 8-10, 2004, University of North Texas, Denton, Texas

Yi Zhang, 2007

PDF

Philosophical Dimensions of Logic and Science: Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999

Philosophical Dimensions of Logic and Science: Selected Contributed Papers from the 11th International Congress of Logic, Methodology, and Philosophy of Science, Kraków, 1999

Hiroakira Ono, 2003

PDF

Unconscious Logic: An Introduction to Matte Blanco’s Bi-Logic and Its Uses

Unconscious Logic: An Introduction to Matte Blanco’s Bi-Logic and Its Uses

Eric Rayner, 1995

PDF

Towards an Arithmetical Logic: The Arithmetical Foundations of Logic

Towards an Arithmetical Logic: The Arithmetical Foundations of Logic

Yvon Gauthier (auth.), 2015

PDF

Modal Logic and Classical Logic

Modal Logic and Classical Logic

Johan van Benthem, 1983

DJVU

Modal Logic and Classical Logic

Modal Logic and Classical Logic

Johan van Benthem, 1983

DJVU

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

Bob Carpenter, 1992

PDF

Ancient Logic and Its Modern Interpretations: Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972

Ancient Logic and Its Modern Interpretations: Proceedings of the Buffalo Symposium on Modernist Interpretations of Ancient Logic, 21 and 22 April, 1972

Norman Kretzmann (auth.), 1974

PDF

Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)

Combinatorics, Computability and Logic: Proceedings of the Third International Conference on Combinatorics, Computability and Logic, (DMTCS’01)

Frank Harary (auth.), 2001

PDF

Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science

Logic, Methodology and Philosophy of Science VII, Proceedings of the Seventh International Congress of Logic, Methodology and Philosophy of Science

Ruth Barcan Marcus, Georg J.W. Dorn, 1986

PDF

Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

Lev Beklemishev (auth.), 2011

DJVU

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

David A. Basin (auth.), 1994

PDF

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

Logic Program Synthesis and Transformation — Meta-Programming in Logic: 4th International Workshops, LOPSTR '94 and META '94 Pisa, Italy, June 20–21, 1994 Proceedings

David A. Basin (auth.), 1994

PDF

Boole's Logic and Probability: Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory

Boole's Logic and Probability: Critical Exposition from the Standpoint of Contemporary Algebra, Logic and Probability Theory

Theodore Hailperin, 1986

PDF

Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996

Deontic Logic, Agency and Normative Systems: ΔEON ’96: Third International Workshop on Deontic Logic in Computer Science, Sesimbra, Portugal, 11 – 13 January 1996

Layman E. Allen (auth.), 1996

PDF

Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Logic, Language, and Computation: 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, Kutaisi, Georgia, September 26-30, 2011, Revised Selected Papers

Ulle Endriss (auth.), 2013

PDF

Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science

Logic, Methodology and Philosophy of Science VI, Proceedings of the Sixth International Congress of Logic, Methodology and Philosophy of Science

L. Jonathan Cohen, Jerzy ЕЃoЕ›, Helmut Pfeiffer, 1982

PDF

Handbook of the History of Logic. Volume 07: Logic and the Modalities in the Twentieth Century

Handbook of the History of Logic. Volume 07: Logic and the Modalities in the Twentieth Century

Dov M. Gabbay, 2006

PDF

Handbook of the History of Logic. Volume 08: The Many Valued and Nonmonotonic Turn in Logic

Handbook of the History of Logic. Volume 08: The Many Valued and Nonmonotonic Turn in Logic

Dov M. Gabbay, 2007

PDF

Handbook of the History of Logic. Volume 10: Inductive Logic

Handbook of the History of Logic. Volume 10: Inductive Logic

Dov M. Gabbay, 2011

PDF

Handbook of the History of Logic. Volume 11: Logic: A History of its Central Concepts

Handbook of the History of Logic. Volume 11: Logic: A History of its Central Concepts

Dov M. Gabbay, 2012

DJVU

Field-Programmable Logic Smart Applications, New Paradigms and Compilers: 6th International Workshop on Field-Programmable Logic and Applications, FPL '96 Darmstadt, Germany, September 23–25, 1996 Proceedings

Field-Programmable Logic Smart Applications, New Paradigms and Compilers: 6th International Workshop on Field-Programmable Logic and Applications, FPL '96 Darmstadt, Germany, September 23–25, 1996 Proceedings

Reiner W. Hartenstein, 1996

DJVU

Handbook of logic in AI and logic programming, vol.1.. logical foundations

Handbook of logic in AI and logic programming, vol.1.. logical foundations

Gabbay D.M., 1993

DJVU

Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2: Deduction Methodologies

Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 2: Deduction Methodologies

Gabbay D.M., 1994

|< ۱ ۲ ۳ ۴ ۵ ۶ ۷ ۸ >|

دانلود کتاب | کتاب ها | نرم افزارهای مفید

کتابکو چگونه کار می کند | درخواست حذف اثر | راهنمای کسب امتیاز | سیاست حفظ حریم خصوصی | سیاست ضد هرزنامه

کپی رایت ۲۰۱۴ تا ۲۰۲۵, ketabkoo.com (کتابکو) | ارتباط با ما

تمامی كالاها و خدمات این سایت، حسب مورد، دارای مجوزهای لازم از مراجع مربوطه می باشند و فعالیت‌های این سایت تابع قوانین و مقررات جمهوری اسلامی ایران است.