Artículos relacionados a Algebraic Logic and Universal Algebra in Computer Science:...
Algebraic Logic and Universal Algebra in Computer Science: Conference Proceedings: vol 425 (Lecture Notes in Computer Science) - Tapa blanda
Sinopsis
Algebraic methods, in particular those of universal algebra and algebraic logic, are playing an increasingly important role in computer science, especially in the areas of algebraic specification of data types, relational data types, relational database theory, logic of programmes, functional and logic programming, and semantics of programming languages. To a large extent this work has been carried forward by computer scientists independent of the very active group of mathematicians who work in universal algebra and algebraic logic. A conference was held at Iowa State University in June 1988 to bring together leading researchers from both groups to identify areas of common interest. Addresses were given by Joel Berman, H.Peter Gumm, Bjarni Jonsson, Dexter Kozen, Istvan Nemeti, Vaughan Pratt, Dana Scott and Eric Wagner. The programme also included contributed papers and a round-table discussion of the role of algebra and logic in computer science.
"Sinopsis" puede pertenecer a otra edición de este libro.
Reseña del editor
Algebraic methods, in particular those of universal algebra and algebraic logic, are playing an increasingly important role in computer science, especially in the areas of algebraic specification of data types, relational data types, relational database theory, logic of programmes, functional and logic programming, and semantics of programming languages. To a large extent this work has been carried forward by computer scientists independent of the very active group of mathematicians who work in universal algebra and algebraic logic. A conference was held at Iowa State University in June 1988 to bring together leading researchers from both groups to identify areas of common interest. Addresses were given by Joel Berman, H.Peter Gumm, Bjarni Jonsson, Dexter Kozen, Istvan Nemeti, Vaughan Pratt, Dana Scott and Eric Wagner. The programme also included contributed papers and a round-table discussion of the role of algebra and logic in computer science.
"Sobre este título" puede pertenecer a otra edición de este libro.
Resultados de la búsqueda para Algebraic Logic and Universal Algebra in Computer Science:...
Imagen del vendedor
Algebraic Logic and Universal Algebra in Computer Science: Proceedings of a Conference Held at Ames, Iowa, USA, June 1-4, 1988: Conference Proceedings (Lecture Notes in Computer Science)
Publicado por
Springer Berlin, 1990
ISBN 10: 3540972889
ISBN 13: 9783540972884
Antiguo o usado
Tapa blanda
Librería: NEPO UG, Rüsselsheim am Main, Alemania
Calificación del vendedor: 5 de 5 estrellas
Condición: 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. Nº de ref. del artículo: 371175
Cantidad disponible: 1 disponibles
Imagen de archivo
Algebraic Logic and Universal Algebra in Computer Science: Conference Proceedings (Lecture Notes in Computer Science)
Publicado por
Springer-Verlag Berlin and Heidelberg GmbH & Co. K, 1990
ISBN 10: 3540972889
ISBN 13: 9783540972884
Antiguo o usado
Paperback
Librería: GuthrieBooks, Spring Branch, TX, Estados Unidos de America
Calificación del vendedor: 5 de 5 estrellas
Paperback. Condición: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Nº de ref. del artículo: UTD1520848
Cantidad disponible: 1 disponibles