Alberto Policriti

2 books

On Sets and Graphs: Perspectives on Logic and Combinatorics by Alexandru I. Tomescu, Alberto Policriti, Eugenio G. Omodeo

On Sets and Graphs: Perspectives on Logic and Combinatorics

Alexandru I. Tomescu, Alberto Policriti, Eugenio G. Omodeo

275 pages • paperback

nonfiction computer science mathematics
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets by Eugenio Omodeo, Alberto Policriti, Domenico Cantone

Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets

Eugenio Omodeo, Alberto Policriti, Domenico Cantone

427 pages • paperback • 2001

medium-paced