Relational Methods for Computer Science Applications [electronic resource] /
This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in which theories of relations provide conceptual or technical tools. The contributions address such subjects as relational methods in programming, relational constraints, relational methods in linguistics and spatial reasoning, relational modelling of uncertainty. All contributions provide the readers with new and original developments in the respective fields. The reader thus gets an interdisciplinary spectrum of the state of the art of relational methods and implementation-oriented solutions of problems related to these areas.
Main Authors: | , , |
---|---|
Format: | Texto biblioteca |
Language: | eng |
Published: |
Heidelberg : Physica-Verlag HD : Imprint: Physica,
2001
|
Subjects: | Computer science., Arithmetic and logic units, Computer., Computer logic., Artificial intelligence., Computer Science., Arithmetic and Logic Structures., Logics and Meanings of Programs., Artificial Intelligence (incl. Robotics)., |
Online Access: | http://dx.doi.org/10.1007/978-3-7908-1828-4 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
id |
KOHA-OAI-TEST:173059 |
---|---|
record_format |
koha |
spelling |
KOHA-OAI-TEST:1730592018-07-30T22:50:21ZRelational Methods for Computer Science Applications [electronic resource] / Orłowska, Ewa. editor. Szałas, Andrzej. editor. SpringerLink (Online service) textHeidelberg : Physica-Verlag HD : Imprint: Physica,2001.engThis volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in which theories of relations provide conceptual or technical tools. The contributions address such subjects as relational methods in programming, relational constraints, relational methods in linguistics and spatial reasoning, relational modelling of uncertainty. All contributions provide the readers with new and original developments in the respective fields. The reader thus gets an interdisciplinary spectrum of the state of the art of relational methods and implementation-oriented solutions of problems related to these areas.Interpretation of Tabular Expressions Using Arrays of Relations -- Translating Relational Programs into Prolog -- A Calculus for Program Contstruction Based on Fork Algebras, Design Strategies and Generic Algorithms -- Processes as Relations -- A Tableaux Procedure for the Implication Problem for Association Rules -- On a Static Verification of Integrity Constraints in Relational Databases -- Contact Relation Algebras -- Relations Old and New -- Relational Models for the Nonassociative Lambek Calculus -- Coping with Semilattices of Relations in Logics with Relative Accessibility Relations -- A Relational Formalisation of a Generic Many-Valued Modal Logic -- An Application of Standard BAO Theory to Some Abstract Information Algebras -- Proof Systems in Relation Algebra -- Connections Between Cylindric Algebras and Relation Algebras -- Lattices in Dedekind Categories -- Beyond Modalities: Sufficiency and Mixed Algebras -- Cylindric Algebras for Partial Relational Systems. Quasicylindric Algebras.This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in which theories of relations provide conceptual or technical tools. The contributions address such subjects as relational methods in programming, relational constraints, relational methods in linguistics and spatial reasoning, relational modelling of uncertainty. All contributions provide the readers with new and original developments in the respective fields. The reader thus gets an interdisciplinary spectrum of the state of the art of relational methods and implementation-oriented solutions of problems related to these areas.Computer science.Arithmetic and logic units, Computer.Computer logic.Artificial intelligence.Computer Science.Arithmetic and Logic Structures.Logics and Meanings of Programs.Artificial Intelligence (incl. Robotics).Springer eBookshttp://dx.doi.org/10.1007/978-3-7908-1828-4URN:ISBN:9783790818284 |
institution |
COLPOS |
collection |
Koha |
country |
México |
countrycode |
MX |
component |
Bibliográfico |
access |
En linea En linea |
databasecode |
cat-colpos |
tag |
biblioteca |
region |
America del Norte |
libraryname |
Departamento de documentación y biblioteca de COLPOS |
language |
eng |
topic |
Computer science. Arithmetic and logic units, Computer. Computer logic. Artificial intelligence. Computer Science. Arithmetic and Logic Structures. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Computer science. Arithmetic and logic units, Computer. Computer logic. Artificial intelligence. Computer Science. Arithmetic and Logic Structures. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). |
spellingShingle |
Computer science. Arithmetic and logic units, Computer. Computer logic. Artificial intelligence. Computer Science. Arithmetic and Logic Structures. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Computer science. Arithmetic and logic units, Computer. Computer logic. Artificial intelligence. Computer Science. Arithmetic and Logic Structures. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). Orłowska, Ewa. editor. Szałas, Andrzej. editor. SpringerLink (Online service) Relational Methods for Computer Science Applications [electronic resource] / |
description |
This volume addresses all current aspects of relational methods and their applications in computer science. It presents a broad variety of fields and issues in which theories of relations provide conceptual or technical tools. The contributions address such subjects as relational methods in programming, relational constraints, relational methods in linguistics and spatial reasoning, relational modelling of uncertainty. All contributions provide the readers with new and original developments in the respective fields. The reader thus gets an interdisciplinary spectrum of the state of the art of relational methods and implementation-oriented solutions of problems related to these areas. |
format |
Texto |
topic_facet |
Computer science. Arithmetic and logic units, Computer. Computer logic. Artificial intelligence. Computer Science. Arithmetic and Logic Structures. Logics and Meanings of Programs. Artificial Intelligence (incl. Robotics). |
author |
Orłowska, Ewa. editor. Szałas, Andrzej. editor. SpringerLink (Online service) |
author_facet |
Orłowska, Ewa. editor. Szałas, Andrzej. editor. SpringerLink (Online service) |
author_sort |
Orłowska, Ewa. editor. |
title |
Relational Methods for Computer Science Applications [electronic resource] / |
title_short |
Relational Methods for Computer Science Applications [electronic resource] / |
title_full |
Relational Methods for Computer Science Applications [electronic resource] / |
title_fullStr |
Relational Methods for Computer Science Applications [electronic resource] / |
title_full_unstemmed |
Relational Methods for Computer Science Applications [electronic resource] / |
title_sort |
relational methods for computer science applications [electronic resource] / |
publisher |
Heidelberg : Physica-Verlag HD : Imprint: Physica, |
publishDate |
2001 |
url |
http://dx.doi.org/10.1007/978-3-7908-1828-4 |
work_keys_str_mv |
AT orłowskaewaeditor relationalmethodsforcomputerscienceapplicationselectronicresource AT szałasandrzejeditor relationalmethodsforcomputerscienceapplicationselectronicresource AT springerlinkonlineservice relationalmethodsforcomputerscienceapplicationselectronicresource |
_version_ |
1756263673883525120 |