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

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

❌ بستن

کتاب های Franz Baader

کتاب های نویسنده
صفحه ۱ از ۱ در بین ۲۵ کتاب.
    PDF
    Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

    Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

    Franz Baader, 2000
    PDF
    Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

    Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000 Proceedings

    Franz Baader, 2000
    PDF
    The Description Logic Handbook: Theory, Implementation and Applications

    The Description Logic Handbook: Theory, Implementation and Applications

    Franz Baader, 2003
    PDF
    The Description Logic Handbook: Theory, Implementation and Applications

    The Description Logic Handbook: Theory, Implementation and Applications

    Franz Baader, 2007
    PDF
    Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

    Logic for Programming, Artificial Intelligence, and Reasoning: 10th International Conference, LPAR 2003, Almaty, Kazakhstan, September 22-26, 2003. Proceedings

    Franz Baader, 2003
    DJVU
    Term rewriting and all that

    Term rewriting and all that

    Franz Baader, 1998
    DJVU
    Term Rewriting and All That

    Term Rewriting and All That

    Franz Baader, 1998
    PDF
    Term Rewriting and All That

    Term Rewriting and All That

    Franz Baader, 1998
    PDF
    Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

    Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

    Franz Baader (auth.), 2009
    PDF
    Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

    Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

    Franz Baader (auth.), 2009
    PDF
    Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

    Reasoning Web. Semantic Technologies for Information Systems: 5th International Summer School 2009, Brixen-Bressanone, Italy, August 30 - September 4, 2009, Tutorial Lectures

    Franz Baader (auth.), 2009
    PDF
    Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

    Automated deduction, CADE-19: 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings

    Franz Baader, 2003
    PDF
    Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

    Logic for Programming, Artificial Intelligence, and Reasoning: 11th International Workshop, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings

    Franz Baader, 2005
    PDF
    The Description Logic Handbook  Theory, Implementation and Applications

    The Description Logic Handbook Theory, Implementation and Applications

    Franz Baader, 2010
    PDF
    Biografie und Briefwechsel

    Biografie und Briefwechsel

    Franz von Baader, 1963
    PDF
    Erläuterungen zu sämtlichen Schriften von Louis Claude de Saint-Martin

    Erläuterungen zu sämtlichen Schriften von Louis Claude de Saint-Martin

    Franz von Baader, 1963
    PDF
    Gesammelte Schriften zur Religionsphilosophie

    Gesammelte Schriften zur Religionsphilosophie

    Franz von Baader, 1963
    PDF
    Gesammelte Schriften zur Religionsphilosophie

    Gesammelte Schriften zur Religionsphilosophie

    Franz von Baader, 1963
    PDF
    Tagebücher aus den Jahren 1786-1793

    Tagebücher aus den Jahren 1786-1793

    Franz von Baader, 1963
    PDF
    Gesammelte Schriften zur Naturphilosophie

    Gesammelte Schriften zur Naturphilosophie

    Franz von Baader, 1963
    PDF
    Gesammelte Schriften zur philosophischen Erkenntniswissenschaft als spekulative Logik

    Gesammelte Schriften zur philosophischen Erkenntniswissenschaft als spekulative Logik

    Franz von Baader, 1963
    PDF
    Elementarbegriffe über die Zeit, Vorlesungen über Philosophie der Sozietät

    Elementarbegriffe über die Zeit, Vorlesungen über Philosophie der Sozietät

    Franz von Baader, 1963
    PDF
    An Introduction to Description Logic

    An Introduction to Description Logic

    Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler, 2017
    PDF
    An Introduction to Description Logic

    An Introduction to Description Logic

    Franz Baader, Ian Horrocks, Carsten Lutz, Uli Sattler, 2017
    PDF
    Über die Einführung der Kunststrassen (Eisenbahnen) in Deutschland aus einem Sendschreiben an Herrn Director von Widmanstätten in Wien

    Über die Einführung der Kunststrassen (Eisenbahnen) in Deutschland aus einem Sendschreiben an Herrn Director von Widmanstätten in Wien

    Franz Baader, 1836

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

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

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

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