عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 C375 1997
QA76
.
9
.
M35
C375
1997
کتابخانه
محل استقرار
شابک
شابک
3211829717
شابک
9783211829714
شماره کتابشناسی ملی
شماره
b550268
عنوان و نام پديدآور
عنوان اصلي
Relational methods in computer science
نام عام مواد
[Book]
نام نخستين پديدآور
C. Brink, W. Kahl, G. Schmidt, eds.
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Wien ; New York
نام ناشر، پخش کننده و غيره
Springer
تاریخ نشرو بخش و غیره
©1997.
مشخصات ظاهری
نام خاص و کميت اثر
xiv, 272 pages : illustrations, portrait ; 24 cm.
فروست
عنوان فروست
Advances in computing science.
یادداشتهای مربوط به مندرجات
متن يادداشت
I. Introduction.- 1 Background Material.- II. Algebras.- 2 Relation Algebras.- 3 Heterogeneous Relation.- 4 Fork Algebras.- III. Logics.- 5 Relation Algebra and Modal Logics.- 6 Relational Formalisation of Nonclassical Logics.- 7 Linear Logic.- IV. Programs.- 8 Relational Semantics of Functional Programs.- 9 Algorithms from Relational Specifications.- 10 Programs and Datatypes.- 11 Refinement and Demonic Semantics.- 12 Tabular Representations in Relational Documents.- V. Other Application Areas.- 13 Databases.- 14 Logic, Language, and Information.- 15 Natural Language.- Bibliography (compiled by Wolfram Kahl, Thomas Stroehlein).- Symbol Table.- Addresses of Contributors.
موضوع (اسم عام یاعبارت اسمی عام)
موضوع مستند نشده
Aufsatzsammlung.
موضوع مستند نشده
Computer science -- Mathematics.
موضوع مستند نشده
Relation algebras.
رده بندی کنگره
شماره رده
QA76
.
9
.
M35
نشانه اثر
C375
1997
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
مستند نام اشخاص تاييد نشده
C. Brink, W. Kahl, G. Schmidt, eds.
نام شخص - (مسئولیت معنوی برابر )
مستند نام اشخاص تاييد نشده
C Brink
مستند نام اشخاص تاييد نشده
Gunther Schmidt
مستند نام اشخاص تاييد نشده
W Kahl
دسترسی و محل الکترونیکی
نام الکترونيکي
مطالعه متن کتاب اطلاعات رکورد کتابشناسی
نوع ماده
[Book]
اطلاعات دسترسی رکورد
تكميل شده
Y
