語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

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

Dowek, Gilles.{me_controlnum}

概要

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

書目資訊

Proofs and algorithms = an introduction to logic and computability / by: Dowek, Gilles.{me_controlnum}; SpringerLink (Online service) (書目-電子資源)

Introduction to the theory of programming languages by: Dowek, Gilles.{me_controlnum}; Levy, Jean-Jacques.; SpringerLink (Online service) (書目-電子資源)

主題

Theory of Computation. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Logic, Symbolic and mathematical. Programming languages (Electronic computers) Algorithms. Computer Science. Programming languages (Electronic computers)- Semantics.

變更密碼

登入