Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1?4, 1988 Proceedings (Lecture Notes in Computer Science, 425)
ISBN 10: 0387972889 ISBN 13: 9780387972886
Editore: Springer, 2000
Nuovi
Brossura
Da
Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 30 agosto 2024
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
SUPER FAST SHIPPING. Codice articolo 9780387972886
Riassunto:
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.
Contenuti: 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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: Algebraic Logic and Universal Algebra in ...
Casa editrice: Springer
Data di pubblicazione: 2000
Legatura: Brossura
Condizione: New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 14, 1988 Proceedings: 425 (Lecture Notes in Computer Science, 425)
Editore:
Springer-Verlag New York Inc, 1990
ISBN 10: 0387972889
ISBN 13: 9780387972886
Antico o usato
Soft cover
Da: G. & J. CHESTERS, TAMWORTH, Regno Unito
Valutazione del venditore 5 su 5 stelle
Soft cover. Condizione: Very Good. 292 pages, a very good paperback, ex-library [0387972889]. Codice articolo 111259
Compra usato
EUR 10,66
Spese di spedizione:
EUR 7,96
Da: Regno Unito a: U.S.A.
Quantità: 1 disponibili
Immagini fornite dal venditore
Algebraic Logic and Universal Algebra in Computer Science
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 4 su 5 stelle
Condizione: 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. Codice articolo 5912972
Compra nuovo
EUR 48,37
Spese di spedizione:
EUR 48,99
Da: Germania a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings (Lecture Notes in Computer Science, 425)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo ABLIING23Feb2215580175005
Compra nuovo
EUR 53,26
Spese di spedizione:
EUR 3,46
In U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic Logic and Universal Algebra in Computer Science
Editore:
Springer New York, Springer New York Nov 2000, 2000
ISBN 10: 0387972889
ISBN 13: 9780387972886
Nuovo
Taschenbuch
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9780387972886
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 23,00
Da: Germania a: U.S.A.
Quantità: 2 disponibili
Immagini fornite dal venditore
Algebraic Logic and Universal Algebra in Computer Science
Editore:
Springer New York, Springer New York Nov 2000, 2000
ISBN 10: 0387972889
ISBN 13: 9780387972886
Nuovo
Taschenbuch
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9780387972886
Compra nuovo
EUR 53,49
Spese di spedizione:
EUR 60,00
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
PF. Condizione: New. Codice articolo 6666-IUK-9780387972886
Compra nuovo
EUR 55,97
Spese di spedizione:
EUR 17,62
Da: Regno Unito a: U.S.A.
Quantità: 10 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings (Lecture Notes in Computer Science, 425)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. In. Codice articolo ria9780387972886_new
Compra nuovo
EUR 57,56
Spese di spedizione:
EUR 13,63
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Immagini fornite dal venditore
Algebraic Logic and Universal Algebra in Computer Science : Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
Editore:
Springer New York, Springer New York, 2000
ISBN 10: 0387972889
ISBN 13: 9780387972886
Nuovo
Taschenbuch
Da: AHA-BUCH GmbH, Einbeck, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: 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. Codice articolo 9780387972886
Compra nuovo
EUR 59,97
Spese di spedizione:
EUR 62,68
Da: Germania a: U.S.A.
Quantità: 1 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, USA June 1-4, 1988 Proceedings
Editore:
Springer-Verlag New York Inc., 2000
ISBN 10: 0387972889
ISBN 13: 9780387972886
Nuovo
Paperback / softback
Da: THE SAINT BOOKSTORE, Southport, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days 525. Codice articolo C9780387972886
Compra nuovo
EUR 66,66
Spese di spedizione:
EUR 18,20
Da: Regno Unito a: U.S.A.
Quantità: Più di 20 disponibili
Foto dell'editore
Algebraic Logic and Universal Algebra in Computer Science. Conference, Ames, Iowa, Usa, June 1-4, 1988. Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Brand New. 1st edition. 292 pages. 9.40x6.30x0.70 inches. In Stock. Codice articolo x-0387972889
Compra nuovo
EUR 80,17
Spese di spedizione:
EUR 14,22
Da: Regno Unito a: U.S.A.
Quantità: 2 disponibili