Sprache: Englisch
Verlag: Springer-Verlag New York Inc, 1990
ISBN 10: 0387972889 ISBN 13: 9780387972886
Anbieter: G. & J. CHESTERS, TAMWORTH, Vereinigtes Königreich
EUR 10,82
Anzahl: 1 verfügbar
In den WarenkorbSoft cover. Zustand: Very Good. 292 pages, a very good paperback, ex-library [0387972889].
EUR 14,74
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 60,00
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
EUR 78,23
Anzahl: 2 verfügbar
In den WarenkorbPaperback. Zustand: Brand New. 1st edition. 292 pages. 9.40x6.30x0.70 inches. In Stock.
Zustand: Gut. 303 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 469 19,8 x 13,0 x 2,5 cm, Taschenbuch.
Anbieter: preigu, Osnabrück, Deutschland
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.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
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.