دانلود کتاب Machine proofs in geometry : automated production of readable proofs for geometry theorems

Name: Machine proofs in geometry : automated production of readable proofs for geometry theorems
Availability: InStock
Author: Shang-Ching Chou
ISBN: 9810215843, 9789810215842

by Shang-Ching Chou

عنوان فارسی: اثبات ماشین در هندسه: تولید خودکار از اثبات قضایای هندسه قابل خواندن برای
ناشر: World Scientific
سال: 1994
زبان: انگلیسی
تعداد صفحه (نسخه چاپی - نسخه الکترونیکی): 476-476
شابک: 9810215843, 9789810215842
نوع فایل: PDF دانلود نرم افزار مطالعه
حجم: 8.00 مگابایت

گزارش تخلف

دانلود کتاب

افزودن خلاصه فارسی

جزییات کتاب

This volume comprises a collection of twenty written versions of invited as well as contributed papers presented at the conference held from 20-24 May 1996 in Beijing, China. It covers many areas of logic and the foundations of mathematics, as well as computer science. Also included is an article by M. Yasugi on the Asian Logic Conference which first appeared in Japanese, to provide a glimpse into the history and development of the series Pt. I. The Theory of Machine Proof. 1. Geometry Preliminaries. 2. The Area Method. 3. Machine Proof in Plane Geometry. 4. Machine Proof in Solid Geometry. 5. Vectors and Machine Proofs -- Pt. II. Topics From Geometry: A Collection of 400 Mechanically Proved Theorems. 6. Topics From Geometry

کتاب های مرتبط

این کتاب رو مطالعه کردید؟ نظر شما چیست؟

برای ارسال نظر، لطفا وارد شوید.

نظر دهید

Adding comments has been disabled.

نظرات (0)

هنوز نظری داده نشده است. شما اولین باشید!