Mohlo by sa vám tiež páčiť

Viac informácií o knihe Relational Methods for Computer Science Applications

• Parametre knihy
• Anotácia kniha
• Obľúbené z iného súdka

Nákupom získate 138 bodov

Anotácia knihy

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.

Parametre knihy

• Celý názov: Relational Methods for Computer Science Applications
• Autor: Ewa Orlowska, Andrzej Szalas
• Jazyk: Angličtina
• Väzba: Brožovaná
• Počet strán: 312
• EAN: 9783662003619
• ID: 43423050
• Nakladateľ: Springer Nature B.V.
• Hmotnosť: 440 g
• Rozmery: 234 × 156 mm
• Dátum vydania: 26. November 2012

---

---

---