عنوان
پدید آورنده
موضوع
رده
QA 75.5 .W625 1995
QA
75
.
5
.
W625
1995
کتابخانه
محل استقرار
اطلاعات محلی رکورد
نوع مدرک
H1
عنوان و نام پديدآور
عنوان اصلي
Computer science logic : 9th international workshop, CSL 95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
1996
مشخصات ظاهری
نام خاص و کميت اثر
viii, 485 p. : ill
فروست
عنوان فروست
Lecture notes in computer science, 1092
يادداشت کلی
متن يادداشت
CSL 95 was the fourth to be held as the Annual Conference of the EACSL
متن يادداشت
Includes bibliographical references and index
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer science - Congresses
عنصر شناسه ای
Logic, Symbolic and mathematical - Congresses
رده بندی کنگره
شماره رده
QA
نشانه اثر
75
.
5
شماره رکورد رده بندي
.
W625
شماره رکورد غير از شماره رده بندي
1995
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
کد نقش
AU
عنصر شناسه اي
Hans Kleine Buning, )ed.(
شناسه افزوده (تنالگان)
عنصر شناسه اي
Workshop on Computer Science Logic, )9th : 1995 : Paderborn, Germany(
شماره دستیابی
نحوه قرار گرفتن مدرك روي قفسه
English
