Articoli correlati a 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): ... USA June 1–4, 1988 Proceedings: 425 - Brossura

 
9780387972886: Algebraic Logic and Universal Algebra in Computer Science: Conference, Ames, Iowa, Usa June 1-4, 1988 Proceedings (Lecture Notes In Computer Science): ... USA June 1–4, 1988 Proceedings: 425
Brossura
ISBN 10: 0387972889 ISBN 13: 9780387972886
Casa editrice: Springer, 2000
Vedi tutte le copie di questo ISBN:
 
 
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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

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.
Product Description:
Book by None

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

  • EditoreSpringer
  • Data di pubblicazione2000
  • ISBN 10 0387972889
  • ISBN 13 9780387972886
  • RilegaturaCopertina flessibile
  • Numero di pagine308
  • RedattoreBergman Clifford H.

Altre edizioni note dello stesso titolo

9783540972884: Algebraic Logic and Universal Algebra in Computer Science: Conference Proceedings: vol 425

Edizione in evidenza

ISBN 10:  3540972889 ISBN 13:  9783540972884
Casa editrice: Springer-Verlag Berlin and Heide..., 1990
Brossura

I migliori risultati di ricerca su AbeBooks

Immagini fornite dal venditore

Editore: Springer (2000)
ISBN 10: 0387972889 ISBN 13: 9780387972886
Nuovo Soft Cover Quantità: 10
Da:
booksXpress
(Bayonne, NJ, U.S.A.)
Valutazione libreria
Valutazione venditore: 4 stelle, Learn more about seller ratings

Descrizione libro Soft Cover. Condizione: new. Codice articolo 9780387972886

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 53,63
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Editore: Springer (2000)
ISBN 10: 0387972889 ISBN 13: 9780387972886
Nuovo Brossura Quantità: > 20
Da:
Lucky's Textbooks
(Dallas, TX, U.S.A.)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Codice articolo ABLIING23Feb2215580175005

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 56,99
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,72
In U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

Bergman, Clifford H. (EDT); Maddux, Roger D. (EDT); Pigozzi, Don L. (EDT)
Editore: Springer (2000)
ISBN 10: 0387972889 ISBN 13: 9780387972886
Nuovo Brossura Quantità: 5
Da:
GreatBookPrices
(Columbia, MD, U.S.A.)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Codice articolo 20345894-n

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 58,28
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,46
In U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Clifford H. Bergman
Editore: Springer (2000)
ISBN 10: 0387972889 ISBN 13: 9780387972886
Nuovo Brossura Quantità: > 20
Print on Demand
Da:
Ria Christie Collections
(Uxbridge, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Codice articolo ria9780387972886_lsuk

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 59,69
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,81
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

Bergman, Clifford H. (EDT); Maddux, Roger D. (EDT); Pigozzi, Don L. (EDT)
Editore: Springer (2000)
ISBN 10: 0387972889 ISBN 13: 9780387972886
Nuovo Brossura Quantità: 5
Da:
GreatBookPricesUK
(Castle Donington, DERBY, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. Codice articolo 20345894-n

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 59,13
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 17,75
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

Clifford H. Bergman
ISBN 10: 0387972889 ISBN 13: 9780387972886
Nuovo Paperback / softback Quantità: > 20
Print on Demand
Da:
THE SAINT BOOKSTORE
(Southport, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Paperback / softback. Condizione: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Codice articolo C9780387972886

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 69,49
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,59
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

R.D. Maddux/ D.L. Pigozzi
Editore: Springer Verlag (1990)
ISBN 10: 0387972889 ISBN 13: 9780387972886
Nuovo Paperback Quantità: 2
Da:
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Paperback. Condizione: Brand New. 1st edition. 292 pages. 9.40x6.30x0.70 inches. In Stock. Codice articolo x-0387972889

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 71,10
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 11,83
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi
Foto dell'editore

. Ed(s): Bergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L.
Editore: Springer (2000)
ISBN 10: 0387972889 ISBN 13: 9780387972886
Nuovo Brossura Quantità: 15
Da:
Kennys Bookshop and Art Galleries Ltd.
(Galway, GY, Irlanda)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Condizione: New. 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. Editor(s): Bergman, Clifford H.; Maddux, Roger D.; Pigozzi, Don L. Series: Lecture Notes in Computer Science. Num Pages: 303 pages, biography. BIC Classification: PBF; UYA. Category: (P) Professional & Vocational. Dimension: 244 x 170 x 17. Weight in Grams: 605. . 2000. 1990th Edition. paperback. . . . . Codice articolo V9780387972886

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 74,48
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 10,50
Da: Irlanda a: U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

Clifford H. Bergman
Editore: Springer New York (2000)
ISBN 10: 0387972889 ISBN 13: 9780387972886
Nuovo Taschenbuch Quantità: 1
Da:
AHA-BUCH GmbH
(Einbeck, Germania)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro 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

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 59,51
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 32,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi
Immagini fornite dal venditore

Bergman, Clifford H.|Maddux, Roger D.|Pigozzi, Don L.
Editore: Springer New York (2000)
ISBN 10: 0387972889 ISBN 13: 9780387972886
Nuovo Kartoniert / Broschiert Quantità: > 20
Print on Demand
Da:
moluna
(Greven, Germania)
Valutazione libreria
Valutazione venditore: 5 stelle, Learn more about seller ratings

Descrizione libro Kartoniert / Broschiert. 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

Informazioni sul venditore | Contatta il venditore

Compra nuovo
EUR 48,37
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 48,99
Da: Germania a: U.S.A.
Destinazione, tempi e costi

Vedi altre copie di questo libro

Vedi tutti i risultati per questo libro