Verwandte Artikel zu Set Theory for Computing: From Decision Procedures...

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science) - Softcover

Buch 16 von 16: Monographs in Computer Science

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto

 
9781441929051: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Softcover
ISBN 10: 1441929053 ISBN 13: 9781441929051
Verlag: Springer, 2011

Inhaltsangabe

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book will be of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Über die Autorin bzw. den Autor

Domenico Cantone is a professor at the Università di Catania. He has been a visiting professor at New York University, Stanford University, ICSI (Berkeley), and Karlsruhe. His interests include mathematical and computer science logic, in particular set theory. Pietro Ursino is a lecturer at the Università dell'Insubria, his interests include mathematical logic.

„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2011
Sprache
Englisch
ISBN 10 
1441929053
ISBN 13 
9781441929051
Einband
Taschenbuch
Anzahl der Seiten
428
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland