Articles liés à Algebraic Logic and Universal Algebra in Computer Science:...
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, Usa June 1-4, 1988 Proceedings (Lecture Notes In Computer Science) - Couverture souple
Synopsis
The 16 papers and extended abstracts represent a wide range of topics at the interface of algebra and computer science. No index. Annotation copyright Book News, Inc. Portland, Or.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 48,37
EUR 9,70 expédition depuis Allemagne vers France
Destinations, frais et délaisRésultats de recherche pour Algebraic Logic and Universal Algebra in Computer Science:...
Image d'archives
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 14, 1988 Proceedings: 425 (Lecture Notes in Computer Science, 425)
Edité par
Springer-Verlag New York Inc., 1990
ISBN 10 : 0387972889
ISBN 13 : 9780387972886
Ancien ou d'occasion
Soft cover
Vendeur : G. & J. CHESTERS, TAMWORTH, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Soft cover. Etat : Very Good. 292 pages, paperback, a very good ex-library copy [0387972889]. N° de réf. du vendeur 111259
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Algebraic Logic and Universal Algebra in Computer Science
Edité par
Springer New York, 2000
ISBN 10 : 0387972889
ISBN 13 : 9780387972886
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 c. N° de réf. du vendeur 5912972
Quantité disponible : Plus de 20 disponibles
Image d'archives
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings (Lecture Notes in Computer Science, 425)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780387972886_new
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Algebraic Logic and Universal Algebra in Computer Science
Edité par
Springer New York, Springer New York Nov 2000, 2000
ISBN 10 : 0387972889
ISBN 13 : 9780387972886
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -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. 308 pp. Englisch. N° de réf. du vendeur 9780387972886
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1¿4, 1988 Proceedings
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9780387972886
Quantité disponible : 1 disponible(s)
Image d'archives
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
Edité par
Springer-Verlag New York Inc., 2000
ISBN 10 : 0387972889
ISBN 13 : 9780387972886
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 525. N° de réf. du vendeur C9780387972886
Quantité disponible : Plus de 20 disponibles
Image d'archives
Algebraic Logic and Universal Algebra in Computer Science. Conference, Ames, Iowa, Usa, June 1-4, 1988. Proceedings
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 1st edition. 292 pages. 9.40x6.30x0.70 inches. In Stock. N° de réf. du vendeur x-0387972889
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Algebraic Logic and Universal Algebra in Computer Science
Edité par
Springer New York Nov 2000, 2000
ISBN 10 : 0387972889
ISBN 13 : 9780387972886
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 308 pp. Englisch. N° de réf. du vendeur 9780387972886
Quantité disponible : 2 disponible(s)
Image d'archives
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, Usa June 1-4, 1988 Proceedings (Lecture Notes In Computer Science): . a Conference, Ames, Iowa, USA. June 1-4, 1988
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9780387972886
Quantité disponible : 10 disponible(s)
Image d'archives
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings (Lecture Notes in Computer Science, 425)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Feb2215580175005
Quantité disponible : Plus de 20 disponibles