Bøger af Eugenio Omodeo - tales.dk

Vi bøger

Levering: 1 - 2 hverdage

Populære

Set Theory for Computing

- From Decision Procedures to Declarative Programming with Sets

af Domenico Cantone, Eugenio Omodeo & Alberto Policriti

1.677,95 - 1.689,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.677,95 kr.
Se mere