De Aller-Bedste Bøger - over 12 mio. danske og engelske bøger
Levering: 1 - 2 hverdage

Bøger af Eugenio Omodeo

Filter
Filter
Sorter efterSorter Populære
  • - From Decision Procedures to Declarative Programming with Sets
    af Domenico Cantone, Eugenio Omodeo & Alberto Policriti
    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.