Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptierenDomenico Cantone / Alberto Policriti / Eugenio Omodeo
Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
- Springer New York
- 2011
- Taschenbuch
- 428 Seiten
- ISBN 9781441929051
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.
160,49
€
inkl. MwSt.zzgl. Versand
in Kürze