عنوان
پدید آورنده
موضوع
رده
QA 76 .63 .I566 1995
QA
76
.
63
.
I566
1995
کتابخانه
محل استقرار
شناسگر استاندارد دیگر
شماره استاندارد
107865
زبان اثر
زبان متن نوشتاري يا گفتاري و مانند آن
تا‌بستا‌ن۵۷
زبان متن نوشتاري يا گفتاري و مانند آن
English
عنوان و نام پديدآور
نام عام مواد
)91(
عنوان اصلي
Executable modal and temporal logics : IJCAI '93 Workshop, Chambery, France, August 28, 1993 : proceedings
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1995
مشخصات ظاهری
نام خاص و کميت اثر
180 p. : ill. ; 24 cm
فروست
عنوان فروست
Lecture notes in computer science; 798. )Lecture notes in artificial intelligence
يادداشت کلی
متن يادداشت
Updated papers presented at the Workshop on Executable Modal and Temporal Logics
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Logic programming-- Congresses
عنصر شناسه ای
، Prolog )Computer program language(-- Congresses
رده بندی کنگره
شماره رده
QA
76
.
63
.
I566
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Michael Fisher, Richard Owens, eds
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
AU leahciM ,rehsiF 1962-
عنصر شناسه اي
AU drahciR ,snewO 1965-
عنصر شناسه اي
TI
عنصر شناسه اي
SE
شناسه افزوده (تنالگان)
عنصر شناسه اي
International Joint Conference on Artificial Intelligence )1993: Chambery, France(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
129
