عنوان
پدید آورنده
موضوع
رده
W926c
W926c
کتابخانه
محل استقرار
عنوان و نام پديدآور
نام نخستين پديدآور
Workshop on Computer Science Logic, 3rd, Kaiserslautern, 1989
عنوان اصلي
CSL ʹ89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : proceedings
وضعیت نشر و پخش و غیره
تاریخ نشرو بخش و غیره
c1990
نام ناشر، پخش کننده و غيره
Springer-Verlag
مشخصات ظاهری
ساير جزييات
BL700000626
ساير جزييات
vi, 437p
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
Computer science- Mathematics- Congresses ► Logic, Symbolic and mathematical- Congresses
رده بندی ديویی
ويراست
W926c
شناسه افزوده (تنالگان)
عنصر شناسه اي
Borger, Egon, 1946- , ed ► Series: Lecture notes in computer science ; 440
