Mohlo by se vám také líbit

Více informací o knize Relational Methods for Computer Science Applications

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 131 bodů

Anotace 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.

Parametry knihy

• Plný název: Relational Methods for Computer Science Applications
• Autor: Ewa Orlowska, Andrzej Szalas
• Jazyk: Angličtina
• Vazba: Brožovaná
• Počet stran: 312
• EAN: 9783662003619
• ID: 43423050
• Nakladatelství: Springer Nature B.V.
• Hmotnost: 440 g
• Rozměry: 234 × 156 mm
• Datum vydání: 26. November 2012

---

---

---