Roger maddux (11 Ergebnisse)

Soft cover. Zustand: Very Good. 292 pages, a very good paperback, ex-library [0387972889].

Zustand: New.

Paperback. Zustand: Brand New. 1st edition. 292 pages. 9.40x6.30x0.70 inches. In Stock.

Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Relatively free relation algebras.- The value of free algebras.- Continuations of logic programs.- On cylindric algebraic model theory.- Dynamic algebras as a well-behaved fragment of relation algebras.- All recursive types defined using products and sums can be implemented using pointers.- The abstract Galois theory: A survey.- The implications in conditional logic.- Optimal semantics of data type extensions.- Other logics for (equational) theories.- Mal'cev algebras for universal algebra terms.- Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic.- The resolution rule: An algebraic perspective.- Incremental models of updating data bases.- Noncommutative cylindric algebras and relativizations of cylindric algebras.- On the -definable tree operations.…

Taschenbuch. Zustand: Neu. Algebraic Logic and Universal Algebra in Computer Science | Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings | Clifford H. Bergman (u. a.) | Taschenbuch | Lecture Notes in Computer Science | Einband - flex.(Paperback) | Englisch | 2000 | Humana | EAN 9780387972886 | Verantwortliche Person für die EU: Springer Nature Customer Service Center GmbH, Europaplatz 3, 69115 Heidelberg, productsafety[at]springernature[dot]com | Anbieter: preigu.…

Hardcover. Zustand: New. In shrink wrap. Looks like an interesting title.

Hardback. Zustand: New. The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic. This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject.…

Gebunden. Zustand: New. Presents historical milestones from a modern perspective Careful, thorough, detailed guide to understanding relation algebras Provides a framework and unified perspective of the subjectA modern perspective on the his.

Hardback. Zustand: New. The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic. This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject.…

Buch. Zustand: Neu. Neuware - The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic. This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject. …

Zustand: New. pp. 760 52:B&W 6.14 x 9.21in or 234 x 156mm (Royal 8vo) Case Laminate on White w/Gloss Lam.