語系: 繁體中文

說明(常見問題)

圖資館首頁

登入

語系

英文 (2)

跳至 : 概要 | 書目資訊 | 主題

Policriti, Alberto.

概要

作品:	0 作品在 2 項出版品 1 種語言

書目資訊

On sets and graphsperspectives on logic and combinatorics / by: Omodeo, Eugenio G.; Policriti, Alberto.; SpringerLink (Online service); Tomescu, Alexandru I. (書目-電子資源)

Set theory for computing :from decision procedures to declarative programming with sets / by: Cantone, Domenico.; Omodeo, Eugenio.; Policriti, Alberto. (書目-語言資料,印刷品)

Martin Davis on computability, computational logic, and mathematical foundations by: Omodeo, Eugenio G.; Policriti, Alberto.; SpringerLink (Online service) (書目-電子資源)

主題

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.

變更密碼

登入