رکورد قبلیرکورد بعدی

" Relational methods in computer science "


Document Type : BL
Record Number : 730504
Doc. No : b550268
Main Entry : C. Brink, W. Kahl, G. Schmidt, eds.
Title & Author : Relational methods in computer science\ C. Brink, W. Kahl, G. Schmidt, eds.
Publication Statement : Wien ; New York: Springer, ©1997.
Series Statement : Advances in computing science.
Page. NO : xiv, 272 pages : illustrations, portrait ; 24 cm.
ISBN : 3211829717
: : 9783211829714
Contents : 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.
Subject : Aufsatzsammlung.
Subject : Computer science -- Mathematics.
Subject : Relation algebras.
LC Classification : ‭QA76.9.M35‬‭C375 1997‬
Added Entry : C Brink
: Gunther Schmidt
: W Kahl
کپی لینک

پیشنهاد خرید
پیوستها
Search result is zero
نظرسنجی
نظرسنجی منابع دیجیتال

1 - آیا از کیفیت منابع دیجیتال راضی هستید؟