ثبت نام  |   ورود
امکانات دانلود کتابکو است و همیشه خواهد ماند
کتاب دانلود کتاب و مقاله
جستجوی
پیشرفته
MENU
  • درباره ما
  • بحث و تبادل نظر
  • ارسال کتاب
  • درخواست کتاب
  • دانلود مقاله ISI
  • دسته بندی کتاب ها
  • کتاب ها
  • صفحه اصلی

کتابکو موتور جستجوی کتاب های الکترونیکی در سطح اینترنت می باشد که همانند سایر موتورهای جستجو - مثلا گوگل - می تواند کتاب ها و اطلاعات مربوط به آن ها را استخراج و ایندکس نماید. در میان جستجو و ایندکس کردن کتاب ها، ممکن است کتابکو محتوای شامل کپی رایت را نیز ایندکس نماید. این فرآیند کاملا اجتناب ناپذیر است. چرا که ربات کتابکو محتوای شامل کپی رایت را از غیر آن تشخیص نمی دهد. دقیقا مانند موتور جستجوی عکس گوگل و یا گوگل اسکلار که ممکن است شامل محتوای دارای کپی رایت نیز باشد. ما کتاب ها را اسکن و آپلود نمی کنیم. استفاده از منابع این سایت تماما با مسئولیت و اطلاع استفاده کننده خواهد بود. اگر شما محتوای خود را در کتاب یافتید و خواستار حذف آن بودید، با ارسال یک ایمیل به دپارتمان حذف آثار از طریق "این ایمیل"، درخواست خود را ارسال نمایید. کتاب شما در کمتر از یک روز کاری حذف خواهد شد.

❌ بستن

نتایج جستجو

برای Logic، صفحه ۶ از ۱۷۲ در بین ۴,۲۸۰ کتاب.
    PDF
    Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

    Logic, Language, and Computation: 10th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2013, Gudauri, Georgia, September 23-27, 2013. Revised Selected Papers

    Martin Aher, 2015
    PDF
    Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

    Logic, Language, and Computation: 6th International Tbilisi Symposium on Logic, Language, and Computation,TbiLLC 2005 Batumi, Georgia, September 12-16, 2005. Revised Selected Papers

    Maria Aloni (auth.), 2007
    PDF
    Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

    Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

    Paul Meurer (auth.), 2009
    PDF
    Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

    Logic, Language, and Computation: 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, Tbilisi, Georgia, October 1-5, 2007. Revised Selected Papers

    Paul Meurer (auth.), 2009
    PDF
    Computational Logic and Set Theory: Applying Formalized Logic to Analysis

    Computational Logic and Set Theory: Applying Formalized Logic to Analysis

    Jacob T. Schwartz, 2011
    PDF
    Computational Logic and Set Theory: Applying Formalized Logic to Analysis

    Computational Logic and Set Theory: Applying Formalized Logic to Analysis

    Jacob T. Schwartz, 2011
    PDF
    Computational Logic and Set Theory: Applying Formalized Logic to Analysis

    Computational Logic and Set Theory: Applying Formalized Logic to Analysis

    Jacob T. Schwartz, 2011
    DJVU
    Fuzzy Logic and Fuzzy Control: IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control Sydney, Australia, August 24, 1991 Proceedings

    Fuzzy Logic and Fuzzy Control: IJCAI '91 Workshops on Fuzzy Logic and Fuzzy Control Sydney, Australia, August 24, 1991 Proceedings

    Didier Dubois, 1994
    PDF
    Logic of Mathematics: A Modern Course of Classical Logic

    Logic of Mathematics: A Modern Course of Classical Logic

    Zofia Adamowicz, 1997
    DJVU
    Contributions to Mathematical Logic (Logic Colloquium '66)

    Contributions to Mathematical Logic (Logic Colloquium '66)

    Schmidt H.A., 1968
    PDF
    Contributions to Mathematical Logic: Proceedings of the Logic Colloquium, Hannover 1966

    Contributions to Mathematical Logic: Proceedings of the Logic Colloquium, Hannover 1966

    H. Arnold Schmidt, 1968
    PDF
    Logic with Trees: An Introduction to Symbolic Logic

    Logic with Trees: An Introduction to Symbolic Logic

    Colin Howson, 1997
    DJVU
    Logic with Trees: An Introduction to Symbolic Logic

    Logic with Trees: An Introduction to Symbolic Logic

    Colin Howson, 1997
    PDF
    Epistemic Logic: A Survey Of the Logic Of Knowledge

    Epistemic Logic: A Survey Of the Logic Of Knowledge

    Nicholas Rescher, 2005
    PDF
    Sophisms in Medieval Logic and Grammar: Acts of the Ninth European Symposium for Medieval Logic and Semantics, held at St Andrews, June 1990

    Sophisms in Medieval Logic and Grammar: Acts of the Ninth European Symposium for Medieval Logic and Semantics, held at St Andrews, June 1990

    Robert Andrews (auth.), 1993
    PDF
    Modern Logic — A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications

    Modern Logic — A Survey: Historical, Philosophical and Mathematical Aspects of Modern Logic and its Applications

    J. M. Bochenski (auth.), 1980
    PDF
    Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993

    Logic Program Synthesis and Transformation: Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7–9 July 1993

    Douglas R. Smith (auth.), 1994
    PDF
    Higher Order Logic Theorem Proving and its Applications. Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications–HOL '92 Organized by CHEOPS ESPRIT BRA 3215, Leuven, Belgium, 21–24 September 1992

    Higher Order Logic Theorem Proving and its Applications. Proceedings of the IFIP Tc10/wg 10.2 International Workshop on Higher Order Logic Theorem Proving and its Applications–HOL '92 Organized by CHEOPS ESPRIT BRA 3215, Leuven, Belgium, 21–24 September 1992

    L.J.M. Claesen, 1993
    PDF
    From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

    From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

    Hans Kamp, 1993
    DJVU
    From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

    From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory

    Hans Kamp, 1993
    PDF
    IBM SY22-2798-2 Logic Blocks - Automated Logic Diagrams (SLT, SLD, ASLT, MST) - Maintenance

    IBM SY22-2798-2 Logic Blocks - Automated Logic Diagrams (SLT, SLD, ASLT, MST) - Maintenance

    1971
    PDF
    Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987

    Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987

    C. T. Chong (auth.), 1989
    DJVU
    Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987

    Mathematical Logic and Applications: Proceedings of the Logic Meeting held in Kyoto, 1987

    C. T. Chong (auth.), 1989
    PDF
    Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

    Logic and Foundations of Mathematics: Selected Contributed Papers of the Tenth International Congress of Logic, Methodology and Philosophy of Science, Florence, August 1995

    Marco Forti, 1999
    PDF
    Socratic Logic: A Logic Text using Socratic Method, Platonic Questions, and Aristotelian Principles, Edition 3.1

    Socratic Logic: A Logic Text using Socratic Method, Platonic Questions, and Aristotelian Principles, Edition 3.1

    Peter Kreeft, 2010
    |< ۱ ۲ ۳ ۴ ۵ ۶ ۷ ۸ ۹ ۱۰ ۱۱ >|

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

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

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

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