عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
شابک
شابک
3540706410
شابک
9783540706410
شماره کتابشناسی ملی
شماره
b566731
عنوان و نام پديدآور
عنوان اصلي
Theorem Proving in Higher Order Logics :
نام عام مواد
[Book]
ساير اطلاعات عنواني
9th International Conference, TPHOLs'96 Turku, Finland, August 26-30, 1996 Proceedings
نام نخستين پديدآور
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Berlin, Heidelberg
نام ناشر، پخش کننده و غيره
Springer-Verlag : Springer e-books
تاریخ نشرو بخش و غیره
1996
فروست
عنوان فروست
Lecture Notes in Computer Science, 1125
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Computer science.
موضوع مستند نشده
Logic design.
موضوع مستند نشده
Software engineering.
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
edited by Gerhard Goos, Juris Hartmanis, Jan Leeuwen, Joakim Wright, Jim Grundy, John Harrison.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
Gerhard Goos
مستند نام اشخاص تاييد نشده
Jan van Leeuwen
مستند نام اشخاص تاييد نشده
Jim Grundy
مستند نام اشخاص تاييد نشده
Joakim Wright
مستند نام اشخاص تاييد نشده
John Harrison
مستند نام اشخاص تاييد نشده
Juris Hartmanis
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
