ثبت درخواست جستجو

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

Automated Theorem Proving: A Logical Basis
جزئیات و درخواست
By D.W. Loveland
Publisher: Elsevier, 2016-08-19
Pages: 419
Language: en
ISBN_13:9781483296777
ISBN_10:1483296776
Subject: Computers

Automated Theorem Proving

Theory and Practice

Automated Theorem Proving
جزئیات و درخواست
By Monty Newborn
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 244
Language: en
ISBN_13:9781461300892
ISBN_10:1461300894
Subject: Mathematics
First-Order Logic and Automated Theorem Proving
جزئیات و درخواست
By Melvin Fitting
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 258
Language: en
ISBN_13:9781468403572
ISBN_10:1468403575
Subject: Mathematics
Automated Theorem Proving in Software Engineering
جزئیات و درخواست
By Johann M. Schumann
Publisher: Springer Science & Business Media, 2013-06-29
Pages: 252
Language: en
ISBN_13:9783662226469
ISBN_10:3662226464
Subject: Computers
Automated Theorem Proving
جزئیات و درخواست
1985
Language: en
OTHER:OCLC:916413069
Automated Theorem Proving: After 25 Years
جزئیات و درخواست
By W. W. Bledsoe, Donald W. Loveland
Publisher: American Mathematical Soc., 1984
Pages: 372
Language: en
ISBN_13:9780821850275
ISBN_10:082185027X
Subject: Mathematics
Principles of Automated Theorem Proving
جزئیات و درخواست
By David A. Duffy
1991-09-09
Pages: 272
Language: en
OTHER:UOM:39015021996932
Subject: Computers
Handbook of Practical Logic and Automated Reasoning
جزئیات و درخواست
By John Harrison
Publisher: Cambridge University Press, 2009-03-12
Pages: 703
Language: en
ISBN_13:9780521899574
ISBN_10:0521899575
Subject: Computers
Machine Learning for Automated Theorem Proving
جزئیات و درخواست
By Sean B. Holden
2021-11-22
Pages: 202
Language: en
ISBN_10:1680838989
ISBN_13:9781680838985
First-Order Logic and Automated Theorem Proving
جزئیات و درخواست
By Department of Mathematics and Computer Science Lehman College Melvin Fitting, Melvin Fitting
2012
Language: en
ISBN_10:1468403591
ISBN_13:9781468403596
Subject: Artificial intelligence
Principia Mathematica
جزئیات و درخواست
By Alfred North Whitehead, Bertrand Russell
Publisher: Cambridge University Press, 1927
Pages: 524
Language: en
ISBN_10:052106791X
ISBN_13:9780521067911
Subject: Mathematics
Automated Theorem-proving in Non-classical Logics
جزئیات و درخواست
By Paul B. Thistlewaite, Michael A. McRobbie, Robert K. Meyer
Publisher: Pitman Publishing, 1988
Pages: 168
Language: en
OTHER:UOM:39015053594712
Subject: Mathematics

Automated Reasoning

Introduction and Applications

Automated Reasoning
جزئیات و درخواست
By Larry Wos
Publisher: Prentice Hall, 1984
Pages: 504
Language: en
OTHER:UOM:39015006406386
Subject: Computers

Logic for Programming, Artificial Intelligence, and Reasoning

14th International Conference, LPAR 2007, Yerevan, Armenia, ...

Logic for Programming, Artificial Intelligence, and Reasoning
جزئیات و درخواست
By Nachum Dershowitz, Andrei Voronkov
Publisher: Springer, 2007-10-07
Pages: 573
Language: en
ISBN_13:9783540755609
ISBN_10:3540755608
Subject: Computers
Current Trends in Hardware Verification and Automated Theorem Proving
جزئیات و درخواست
By Graham Birtwistle, P.A. Subrahmanyam
Publisher: Springer Science & Business Media, 2012-12-06
Pages: 499
Language: en
ISBN_13:9781461236580
ISBN_10:1461236584
Subject: Computers
Handbook of Automated Reasoning
جزئیات و درخواست
By Alan J.A. Robinson, Andrei Voronkov
Publisher: Elsevier, 2001-06-21
Pages: 1198
Language: en
ISBN_10:0444508120
ISBN_13:9780444508126
Subject: Computers

Concrete Semantics

With Isabelle/HOL

Concrete Semantics
جزئیات و درخواست
By Tobias Nipkow, Gerwin Klein
Publisher: Springer, 2014-12-03
Pages: 304
Language: en
ISBN_13:9783319105420
ISBN_10:3319105426
Subject: Computers

Interactive Theorem Proving and Program Development

Coq’Art: The Calculus of Inductive Constructions

Interactive Theorem Proving and Program Development
جزئیات و درخواست
By Yves Bertot, Pierre Castéran
Publisher: Springer Science & Business Media, 2013-03-14
Pages: 492
Language: en
ISBN_13:9783662079645
ISBN_10:366207964X
Subject: Mathematics
Mechanical Theorem Proving in Geometries
جزئیات و درخواست
By Wen-tsün Wu
Publisher: Springer Science & Business Media, 1994-04-14
Pages: 308
Language: en
ISBN_10:3211825061
ISBN_13:9783211825068
Subject: Computers

Theorem Proving with Analytic Tableaux and Related Methods

4th International Workshop, TABLEAUX-95, Schloß Rheinfels, S...

Theorem Proving with Analytic Tableaux and Related Methods
جزئیات و درخواست
By Peter Baumgartner, Reiner Ha hnle, Joachim Posegga
Publisher: Springer Science & Business Media, 1995-04-26
Pages: 372
Language: en
ISBN_10:3540593381
ISBN_13:9783540593386
Subject: Computers
«12345678910»

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

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

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

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

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

خرید کتاب از آمازون

چاپ کتاب زبان اصلی

دانلود کتاب از آمازون

خرید کتاب از گوگل بوکز

خرید کتاب زبان اصلی

سایت خرید کتاب زبان اصلی

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

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

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

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

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

    پس از پرداخت به صورت کارت به کارت، 4 رقم آخر شماره کارت خود را برای ما ارسال کنید.
    X
    راهنما / بلاگ / قوانین / تماس باما / درباره ما
    YouTube social network LinkedIn social network Instagram social network Twitter social network Aparat social network Telegram social network

    logo-samandehi

    فایلسو: مرجع دانلود کتاب، مقاله، استاندارد و سایر منابع لاتین، خرید کتاب از آمازون و گوگل بوکز دانلود رایگان منابع دانشگاهی تخصصی | دانلود کتاب های آمازون، دانلود کتاب های گوگل بوکز .

    ارتباط مستقیم با مدیریت