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

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

❌ بستن

نتایج جستجو

برای Logic، صفحه ۳۶ از ۱۷۲ در بین ۴,۲۸۰ کتاب.
    DJVU
    Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

    Computational Logic and Proof Theory: 5th Kurt Gödel Colloquium, KGC '97 Vienna, Austria, August 25–29, 1997 Proceedings

    Leo Bachmair (auth.), 1997
    DJVU
    Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

    Computational Logic and Proof Theory: Third Kurt Gödel Colloquium, KGC'93 Brno, Czech Republic, August 24–27, 1993 Proceedings

    Egon Börger, 1993
    PDF
    Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

    Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

    Petr Hájek (auth.), 1999
    PDF
    Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

    Computer Science Logic: 12th International Workshop, CSL’98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998. Proceedings

    Petr Hájek (auth.), 1999
    PDF
    Contemporary Research in Philosophical Logic and Linguistic Semantics: Proceedings of a Conference Held at the University of Western Ontario, London, Canada

    Contemporary Research in Philosophical Logic and Linguistic Semantics: Proceedings of a Conference Held at the University of Western Ontario, London, Canada

    David Lewis (auth.), 1975
    EPUB
    A concise introduction to mathematical logic

    A concise introduction to mathematical logic

    Rautenberg, 2010
    PDF
    A concise introduction to mathematical logic

    A concise introduction to mathematical logic

    Rautenberg, 2010
    PDF
    A concise introduction to mathematical logic

    A concise introduction to mathematical logic

    Rautenberg, 2010
    DJVU
    A friendly introduction to mathematical logic

    A friendly introduction to mathematical logic

    Leary C.C., 1999
    PDF
    A Friendly Introduction to Mathematical Logic

    A Friendly Introduction to Mathematical Logic

    Christopher C. Leary, 1999
    DJVU
    A Friendly Introduction to Mathematical Logic

    A Friendly Introduction to Mathematical Logic

    Christopher C. Leary, 1999
    DJVU
    A Mathematical Introduction to Logic

    A Mathematical Introduction to Logic

    Herbert Enderton, 2001
    DJVU
    A mathematical introduction to logic

    A mathematical introduction to logic

    Enderton H.B., 2001
    PDF
    A mathematical introduction to logic

    A mathematical introduction to logic

    Herbert Enderton, 2001
    PDF
    A Mathematical Introduction to Logic

    A Mathematical Introduction to Logic

    Herbert Enderton, 2001
    DJVU
    A Mathematical Introduction to Logic, Second Edition

    A Mathematical Introduction to Logic, Second Edition

    Herbert B. Enderton, 2001
    DJVU
    Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings

    Foundations of Logic and Functional Programming: Workshop Trento, Italy, December 15–19, 1986 Proceedings

    Carolyn Talcott (auth.), 1988
    PDF
    God Talk: Examination of the Language and Logic of Theology

    God Talk: Examination of the Language and Logic of Theology

    John Macquarrie, 1970
    PDF
    Introduction to Metalogic: With an Appendix on Type-Theoretical Extensional and Intensional Logic

    Introduction to Metalogic: With an Appendix on Type-Theoretical Extensional and Intensional Logic

    Imre Ruzsa, 1997
    PDF
    Introduction to Metalogic: With an Appendix on Type-Theoretical Extensional and Intensional Logic

    Introduction to Metalogic: With an Appendix on Type-Theoretical Extensional and Intensional Logic

    Imre Ruzsa, 1997
    PDF
    Modal Logic with Descriptions

    Modal Logic with Descriptions

    Imre Ruzsa (auth.), 2001
    PDF
    Logic Programming with Prolog

    Logic Programming with Prolog

    Max Bramer BSc, 2005
    DJVU
    Logic and Language Models for Computer Science

    Logic and Language Models for Computer Science

    Henry Hamburger, 2002
    DJVU
    Logic and language models for computer science

    Logic and language models for computer science

    Hamburger H., 2002
    PDF
    Logic and Language Models for Computer Science

    Logic and Language Models for Computer Science

    Henry Hamburger
    |< ۳۱ ۳۲ ۳۳ ۳۴ ۳۵ ۳۶ ۳۷ ۳۸ ۳۹ ۴۰ ۴۱ >|

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

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

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

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