عنوان
پدید آورنده
موضوع
رده
QA 76 .6 .T4414 1994
QA
76
.
6
.
T4414
1994
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
114030
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
زمستا‌ن۶۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91(
عنوان اصلي
Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer-Verlag
تاریخ نشرو بخش و غیره
1994
مشخصات ظاهری
نام خاص و کميت اثر
xi, 545 p.: ill.; 24 cm
فروست
عنوان فروست
Lecture notes in computer science; 728. Lecture notes in artificial intelligence
يادداشت کلی
متن يادداشت
Includes bibliiographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Electronic digital computers-- Programming
عنصر شناسه ای
، Logic, Symbolic and mathematical
رده بندی کنگره
شماره رده
QA
76
.
6
.
T4414
1994
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
TI
عنصر شناسه اي
Dov M. Gabbay, Hans J. Ohlbach ]eds.[
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU M voD ,yabbaG 1945-
عنصر شناسه اي
AU negruJ snaH ,hcablhO
عنصر شناسه اي
SE Lecture notes in computer science; 827
عنصر شناسه اي
SE Lecture notes in computer science. Lecture notes in artificial intelligence
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
129
