عنوان
پدید آورنده
موضوع
رده
QA76.9.A96 T96 2000
QA76
.
9
.
A96
T96
2000
کتابخانه
محل استقرار
شابک
شابک
3540432876 (alk. paper)
شماره کتابشناسی ملی
شماره
b433628
عنوان و نام پديدآور
عنوان اصلي
Types for proofs and programs :
نام عام مواد
[Book]
ساير اطلاعات عنواني
International Workshop, TYPES 2000, Durham 2000 : selected papers /
نام نخستين پديدآور
Paul Callaghan ... [et al.]
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
New York :
نام ناشر، پخش کننده و غيره
Springer-Verlag Berlin Heidelberg,
تاریخ نشرو بخش و غیره
2002
تاریخ پیش بینی شده انتشار
تاريخ
0203
مشخصات ظاهری
نام خاص و کميت اثر
viii, 242 p. :
ساير جزييات
ill. ;
ابعاد
24 cm
فروست
عنوان فروست
Lecture notes in computer science ;
شاپا ي ISSN فروست
2277
یادداشتهای مربوط به کتابنامه ، واژه نامه و نمایه های داخل اثر
متن يادداشت
Includes bibliographical references and author index
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Automatic theorem proving, Congresses
موضوع مستند نشده
Computer programming, Congresses
مقوله موضوعی
موضوع مستند نشده
QA
رده بندی ديویی
شماره
006
.
3/33
ويراست
21
رده بندی کنگره
شماره رده
QA76
.
9
.
A96
نشانه اثر
T96
2000
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Callaghan, Paul,1970-
نام تنالگان به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام تنالگان تاييد نشده
TYPES 2000(2000 :, Durham, England)
مبدا اصلی
تاريخ عمليات
20020402130257.0
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
