عنوان
پدید آورنده
موضوع
رده
QA76.9.M35 C375 1997
QA76
.
9
.
M35
C375
1997
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3211829717
(Number (ISBN
9783211829714
NATIONAL BIBLIOGRAPHY NUMBER
Number
b550268
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Relational methods in computer science
General Material Designation
[Book]
First Statement of Responsibility
C. Brink, W. Kahl, G. Schmidt, eds.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Wien ; New York
Name of Publisher, Distributor, etc.
Springer
Date of Publication, Distribution, etc.
©1997.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiv, 272 pages : illustrations, portrait ; 24 cm.
SERIES
Series Title
Advances in computing science.
CONTENTS NOTE
Text of Note
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.
TOPICAL NAME USED AS SUBJECT
Aufsatzsammlung.
Computer science -- Mathematics.
Relation algebras.
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
.
9
.
M35
Book number
C375
1997
PERSONAL NAME - PRIMARY RESPONSIBILITY
C. Brink, W. Kahl, G. Schmidt, eds.
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
C Brink
Gunther Schmidt
W Kahl
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
