تعداد نتایج: 4798

Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2003, Rome, Italy, Septem...

Automated Reasoning with Analytic Tableaux and Related Methods

Proof Theory

Sequent Calculi and Related Formalisms

Proof Theory
By Katalin Bimbo
Publisher: CRC Press, 2014-08-20
Pages: 388
Language: en
ISBN_13:9781466564664
ISBN_10:1466564660
Subject: Mathematics

Theorem Proving in Higher Order Logics

17th International Conference, TPHOLS 2004, Park City, Utah,...

Theorem Proving in Higher Order Logics

Logic for Programming, Artificial Intelligence, and Reasoning

8th International Conference, LPAR 2001, Havana, Cuba, Decem...

Logic for Programming, Artificial Intelligence, and Reasoning
By Robert Nieuwenhuis, Andrei Voronkov
Publisher: Springer, 2003-06-30
Pages: 752
Language: en
ISBN_13:9783540456537
ISBN_10:3540456538
Subject: Computers

Automated Reasoning with Analytic Tableaux and Related Methods

30th International Conference, TABLEAUX 2021, Birmingham, UK...

Automated Reasoning with Analytic Tableaux and Related Methods
By Anupam Das, Sara Negri
Publisher: Springer Nature, 2021-08-31
Pages: 476
Language: en
ISBN_13:9783030860592
ISBN_10:3030860590
Subject: Computers

Combinatorial Algorithms

26th International Workshop, IWOCA 2015, Verona, Italy, Octo...

Combinatorial Algorithms
By Zsuzsanna Lipták, William F. Smyth
Publisher: Springer, 2016-03-09
Pages: 377
Language: en
ISBN_13:9783319295169
ISBN_10:3319295160
Subject: Computers

Proceedings

Joint International Conference on Measurement & Modeling of ...

Proceedings

Artificial Intelligence Research and Development

Current Challenges, New Trends and Applications

Artificial Intelligence Research and Development
By Z. Falomir, K. Gibert, E. Plaza
Publisher: IOS Press, 2018-10-04
Pages: 422
Language: en
ISBN_13:9781614999188
ISBN_10:161499918X
Subject: Computers

Automated Reasoning with Analytic Tableaux and Related Methods

22nd International Conference, TABLEAUX 2013, Nancy, France,...

Automated Reasoning with Analytic Tableaux and Related Methods
By Didier Galmiche, Dominique Larchey-Wendling
Publisher: Springer, 2013-09-11
Pages: 297
Language: en
ISBN_13:9783642405372
ISBN_10:3642405371
Subject: Computers

سایت دانلود کتاب خارجی

نحوه دانلود و خرید کتاب های خارجی

ابتدا در قسمت جستجوی سایت، کلمه کلیدی مد نظر خود را وارد کنید، سپس فیلتر مد نظر خود را انتخاب کنید که در کدام مشخصه کتاب جستجو انجام شود. پس از انتخاب فیلتر مدنظر خود (نویسنده، ناشر، شناسه ISBN، موضوع و یاهمه قسمت ها دکمه جستجو را بزنید. در نتایج می توانید کتاب خارجی مد نظر خود را انتخاب کنید و سپس درخواست خود را برای خرید کتاب خارجی ثبت کنید.

جستجو و دانلود کتاب لاتین

برای دانلود کتاب های لاتین ابتدا کلمه کلیدی خود را داخل کادر جستجو وارد کنید و سپس زبان مربوطه را انتخاب کنید (انگلیسی، اسپانیایی، فرانسوی، آلمانی و ...) و در نهایت دکمه جستجو را بزنید. از نتایج جستجو کتاب لاتین مد نظر خود را انتخاب کنید و سپس درخواست آن را ثبت کنید. همکاران ما در کمتر چند ساعت درخواست شما را بررسی و قیمت گذاری می کنند.

نحوه ثبت درخواست دانلود کتاب لاتین

پس از جستجو و یافتن کتاب و یا منابع لاتین، روی تصویر کتاب و یا دکمه درخواست کلیک کنید و سپس در صفحه ثبت درخواست، مشخصات کامل درخواست خود را بررسی و ایمیل و شماره تماس خود را وارد کنید. در نهایت همکاران ما هزینه و مدت زمان تهیه کتاب خارجی شما را بررسی و از طریق پیامک و ایمیل به شما اطلاع رسانی خواهند کرد. شما پس از پرداخت وجه روی لینک دانلود کتاب لاتین کلیک کنید و کتاب خود را دانلود و استفاده کنید.

  • کتاب زبان اصلی J.R.R
  • دانلود کتاب لاتین
  • خرید کتاب لاتین
  • خرید مانگا
  • خرید کتاب از گوگل بوکز
  • دانلود رایگان کتاب از گوگل بوکز
  • دانلود رایگان کتاب از آمازون
  • دانلود رایگان کتاب از گوگل بوکز
  • کتاب روانشناسی به انگلیسی
  • کتاب زبان اصلی
  • کتاب خارجی
  • سایت خرید کتاب زبان اصلی
  • درخواست کتاب زبان اصلی
  • سفارش کتاب زبان اصلی
  • خرید کتاب لاتین
  • دانلود کتاب زبان اصلی
  • ضمانت بازگشت وجه بدون شرط
    اعتماد سازی
    انتقال وجه کارت به کارت
    X

    پرداخت وجه کارت به کارت

    شماره کارت : 6104337650971516
    شماره حساب : 8228146163
    شناسه شبا (انتقال پایا) : IR410120020000008228146163
    بانک ملت به نام مهدی تاج دینی

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X