Language: English

回圖書館首頁

手機版館藏查詢

Login

Jump To : Overview | Titles | Subjects

Dowek, Gilles.{me_controlnum}

Overview

Works:	2 works in 0 publications in 0 languages

Titles

Proofs and algorithms = an introduction to logic and computability / by: Dowek, Gilles.{me_controlnum}; SpringerLink (Online service) (Electronic resources)

Introduction to the theory of programming languages by: Dowek, Gilles.{me_controlnum}; Levy, Jean-Jacques.; SpringerLink (Online service) (Electronic resources)

Subjects

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.

Change password

Login