نمایش منو
صفحه اصلی
جستجوی پیشرفته
فهرست کتابخانه ها
انتخاب زبان
فارسی
English
العربی
عنوان
Temporal logic: from ancient ideas to artificial intelligence
پدید آورنده
Ohrstrom, Peter.
موضوع
، Tense )Logic(,، Logic, Symbolic and mathematical,، Time
رده
BC
199
.
T4
.
O37
1995
کتابخانه
كتابخانه مركزی دانشگاه صنعتي شريف
محل استقرار
استان:
تهران
ـ شهر:
تهران
تماس با کتابخانه :
66005817
-
021
شناسگر استاندارد دیگر
شماره استاندارد
117247
شماره استاندارد
133913
شماره استاندارد
134199
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
بهار۸۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91-12-24(
نام نخستين پديدآور
Ohrstrom, Peter.
عنوان اصلي
Temporal logic: from ancient ideas to artificial intelligence
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Dordrecht
نام ناشر، پخش کننده و غيره
Kluwer Academic Publishers
تاریخ نشرو بخش و غیره
1995
مشخصات ظاهری
نام خاص و کميت اثر
viii, 413 p. : ill. ; 23 cm
فروست
عنوان فروست
Studies in linguistics and philosophy
شاپا ي ISSN فروست
v.57
يادداشت کلی
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Tense )Logic(
عنصر شناسه ای
، Logic, Symbolic and mathematical
عنصر شناسه ای
، Time
رده بندی کنگره
شماره رده
BC
199
.
T4
.
O37
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
by Peter Ohrstrom and Per F.V. Hasle
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU .V .F reP ,elsaH
عنصر شناسه اي
TI
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
131
نحوه قرار گرفتن مدرك روي قفسه
165
نحوه قرار گرفتن مدرك روي قفسه
129
پیشنهاد / گزارش اشکال
×
پیشنهاد / گزارش اشکال
×
اخطار!
اطلاعات را با دقت وارد کنید
گزارش خطا
پیشنهاد