Bøger af Eugenio Omodeo
Filter
Sorter efterSorter
Populære
-
- From Decision Procedures to Declarative Programming with Sets
1.729,95 - 1.741,95 kr. 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.
- Bog
- 1.729,95 kr.