عنوان
پدید آورنده
موضوع
رده
QA 76.9 .A96F57
QA
76
.
9
.
A96F57
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
London
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
c2001
مشخصات ظاهری
نام خاص و کميت اثر
xi, 140 p.: ill
فروست
ساير اطلاعات عنواني
Distinguished dissertations
يادداشت کلی
متن يادداشت
Bibliography: p.]133[-138
متن يادداشت
ISBN: 1852334665
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Jacques Fleuriot
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Automatic theorem proving
عنصر شناسه ای
، Nonstandard mathematical analysis
عنصر شناسه ای
، Newton, Isaac, Sir, 2461-7271. Principia
رده بندی کنگره
شماره رده
QA
76
.
9
.
A96F57
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Fleuriot, Jacques, 2791-
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
CO Conference of Professors and Heads of Computing
عنصر شناسه اي
CO British Computer Society
عنصر شناسه اي
TI
عنصر شناسه اي
SE CPHC/BCS distinguished dissertations
