Language: English

圖資館首頁

Login

Languages

English (2)

Jump To : Overview | Titles | Subjects

Policriti, Alberto.

Overview

Works:	0 works in 2 publications in 1 languages

Titles

On sets and graphsperspectives on logic and combinatorics / by: Omodeo, Eugenio G.; Policriti, Alberto.; SpringerLink (Online service); Tomescu, Alexandru I. (Electronic resources)

Set theory for computing :from decision procedures to declarative programming with sets / by: Cantone, Domenico.; Omodeo, Eugenio.; Policriti, Alberto. (Language materials, printed)

Martin Davis on computability, computational logic, and mathematical foundations by: Omodeo, Eugenio G.; Policriti, Alberto.; SpringerLink (Online service) (Electronic resources)

Subjects

Number theory. Philosophy. Logic. Mathematical Logic and Foundations. Graph theory. Graph Theory. Logics and Meanings of Programs. Combinatorics. Algorithm Analysis and Problem Complexity. Set theory. Computable functions. Computer Science.

Change password

Login