deduction
کسر خودکار در هندسه: ششمین کارگاه بین المللی، ADG 2006، پونتودرا، اسپانیا، 31 اوت تا 2 سپتامبر 2006، مقالات تجدید نظر شده
دانلود کتاب Automated Deduction in Geometry: 6th International Workshop, ADG 2006, Pontevedra, Spain, August 31-September 2, 2006, Revised Papers (به فارسی: کسر خودکار در هندسه: ششمین کارگاه بین المللی، ADG 2006، پونتودرا، اسپانیا، 31 اوت تا 2 سپتامبر 2006، مقالات تجدید نظر شده) نوشته شده توسط «Francisco Botana – Tomas Recio» اطلاعات کتاب کسر خودکار در هندسه: ششمین کارگاه بین المللی، ADG 2006، پونتودرا، اسپانیا، 31 اوت تا 2 سپتامبر 2006، مقالات تجدید نظر شده موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی ناشر: Springer نویسنده: Francisco Botana – Tomas Recio زبان: English فرمت کتاب: pdf…
ششمین کنفرانس کسر خودکار: نیویورک، ایالات متحده آمریکا، 7 تا 9 ژوئن 1982
دانلود کتاب 6th Conference on Automated Deduction: New York, USA, June 7–9, 1982 (به فارسی: ششمین کنفرانس کسر خودکار: نیویورک، ایالات متحده آمریکا، 7 تا 9 ژوئن 1982) نوشته شده توسط «L. Wos (auth.) – D. W. Loveland (eds.)» اطلاعات کتاب ششمین کنفرانس کسر خودکار: نیویورک، ایالات متحده آمریکا، 7 تا 9 ژوئن 1982 موضوع اصلی: نرم افزار: CAD نوع: کتاب الکترونیکی ناشر: Springer Berlin Heidelberg نویسنده: L. Wos (auth.) – D. W. Loveland (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1982 تعداد صفحه: 397 حجم کتاب: 3 مگابایت کد کتاب: 3540115587 ,…
دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern، FRG، 24-27 ژوئیه، 1990 مجموعه مقالات
دانلود کتاب 10th International Conference on Automated Deduction: Kaiserslautern, FRG, July 24–27, 1990 Proceedings (به فارسی: دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern، FRG، 24-27 ژوئیه، 1990 مجموعه مقالات) نوشته شده توسط «Robert S. Boyer – J Strother Moore (auth.) – Mark E. Stickel (eds.)» اطلاعات کتاب دهمین کنفرانس بین المللی کسر خودکار: Kaiserslautern، FRG، 24-27 ژوئیه، 1990 مجموعه مقالات موضوع اصلی: نرم افزار: CAD نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: Robert S. Boyer – J Strother Moore (auth.) – Mark E. Stickel (eds.) زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 1990…
شکل گیری استنتاج در ریاضیات یونانی
دانلود کتاب The Shaping of Deduction in Greek Mathematics (به فارسی: شکل گیری استنتاج در ریاضیات یونانی) اطلاعات کتاب شکل گیری استنتاج در ریاضیات یونانی موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: cambridge univercity press زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) تعداد صفحه: 342 حجم کتاب: 2 مگابایت دانلود کتاب «شکل گیری استنتاج در ریاضیات یونانی»
استنتاج طبیعی: یک مطالعه اثباتی-نظری
دانلود کتاب Natural deduction: A proof-theoretical study (به فارسی: استنتاج طبیعی: یک مطالعه اثباتی-نظری) نوشته شده توسط «Dag Prawitz» اطلاعات کتاب استنتاج طبیعی: یک مطالعه اثباتی-نظری موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Dover Publications نویسنده: Dag Prawitz زبان: English فرمت کتاب: djvu (قابل تبدیل به سایر فرمت ها) سال انتشار: 2006 تعداد صفحه: 115 حجم کتاب: 1 مگابایت کد کتاب: 0486446557 , 9780486446554 توضیحات کتاب استنتاج طبیعی: یک مطالعه اثباتی-نظری نظریههای پراویتز اساس نظریه نوع شهودی را تشکیل میدهند، و اصل وارونگی او پایه و اساس بیشتر گزارشهای مدرن از معناشناسی اثباتی-نظری را تشکیل میدهد. سیستم اثبات نظری روشی…
شکل گیری استنتاج در ریاضیات یونان مطالعه ای در تاریخ شناختی
دانلود کتاب THE SHAPING OF DEDUCTION IN GREEK MATHEMATICS A Study in Cognitive History (به فارسی: شکل گیری استنتاج در ریاضیات یونان مطالعه ای در تاریخ شناختی) نوشته شده توسط «Reviel Netz» اطلاعات کتاب شکل گیری استنتاج در ریاضیات یونان مطالعه ای در تاریخ شناختی موضوع اصلی: تاریخ نوع: کتاب الکترونیکی ناشر: Cambridge University Press نویسنده: Reviel Netz زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2003 تعداد صفحه: 350 حجم کتاب: 2 مگابایت کد کتاب: 9780521541206 , 0521541204 توضیحات کتاب شکل گیری استنتاج در ریاضیات یونان مطالعه ای در تاریخ شناختی این کتاب راهی…
کسر خودکار در منطق معادله و منحنی مکعب
دانلود کتاب Automated Deduction in Equational Logic and Cubic Curves (به فارسی: کسر خودکار در منطق معادله و منحنی مکعب) نوشته شده توسط «W. McCune – R. Padmanabhan (auth.)» اطلاعات کتاب کسر خودکار در منطق معادله و منحنی مکعب موضوع اصلی: ریاضیات نوع: کتاب الکترونیکی ناشر: Springer-Verlag Berlin Heidelberg نویسنده: W. McCune – R. Padmanabhan (auth.) زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1996 تعداد صفحه: 238 حجم کتاب: 9 مگابایت کد کتاب: 3540613986 , 9783540613985 نوبت چاپ: 1 توضیحات کتاب کسر خودکار در منطق معادله و منحنی مکعب این تکنگ نتیجه همکاری یک…
کسر خودکار در منطق های چند ارزشی
دانلود کتاب Automated deduction in multiple-valued logics (به فارسی: کسر خودکار در منطق های چند ارزشی) نوشته شده توسط «Reiner Hähnle» اطلاعات کتاب کسر خودکار در منطق های چند ارزشی موضوع اصلی: منطق نوع: کتاب الکترونیکی ناشر: Clarendon Press; Oxford University Press نویسنده: Reiner Hähnle زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1993 تعداد صفحه: 177 حجم کتاب: 1 مگابایت کد کتاب: 9780198539896 , 0198539894 توضیحات کتاب کسر خودکار در منطق های چند ارزشی این کتاب یک رویکرد مستقل و یکپارچه برای استدلال خودکار در منطق های چند ارزشی (MVL) را تشکیل می دهد.…
حقیقت، استنتاج و محاسبات: منطق و معناشناسی برای علوم کامپیوتر
دانلود کتاب Truth, deduction, and computation: logic and semantics for computer science (به فارسی: حقیقت، استنتاج و محاسبات: منطق و معناشناسی برای علوم کامپیوتر) نوشته شده توسط «R. E. Davis» اطلاعات کتاب حقیقت، استنتاج و محاسبات: منطق و معناشناسی برای علوم کامپیوتر موضوع اصلی: ریاضیات محاسباتی نوع: کتاب الکترونیکی ناشر: W.H. Freeman & Company نویسنده: R. E. Davis زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 1989 تعداد صفحه: 281 حجم کتاب: 12 مگابایت کد کتاب: 9780716782018 , 0716782014 توضیحات کتاب حقیقت، استنتاج و محاسبات: منطق و معناشناسی برای علوم کامپیوتر دیویس آر.ای. حقیقت، استنتاج،…
کسر خودکار در هندسه: چهارمین کارگاه بین المللی، Adg 2002، قلعه هاگنبرگ، اتریش، 4-6 سپتامبر 2002: مقالات تجدید نظر شده
دانلود کتاب Automated Deduction in Geometry: 4th International Workshop, Adg 2002, Hagenberg Castle, Austria, September 4-6, 2002: Revised Papers (به فارسی: کسر خودکار در هندسه: چهارمین کارگاه بین المللی، Adg 2002، قلعه هاگنبرگ، اتریش، 4-6 سپتامبر 2002: مقالات تجدید نظر شده) نوشته شده توسط «Winkler F.» اطلاعات کتاب کسر خودکار در هندسه: چهارمین کارگاه بین المللی، Adg 2002، قلعه هاگنبرگ، اتریش، 4-6 سپتامبر 2002: مقالات تجدید نظر شده موضوع اصلی: کنفرانس ها و سمپوزیوم های بین المللی نوع: کتاب الکترونیکی نویسنده: Winkler F. زبان: English فرمت کتاب: pdf (قابل تبدیل به سایر فرمت ها) سال انتشار: 2004 تعداد صفحه: 243…