Rezultaty

1

Computability & unsolvability /

Computability & unsolvability /

od Davis, Martin, 1928-
Wydane 1982

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

Table of contents
Publisher description

2

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /

Computability and complexity in analysis : 4th international workshop, CCA 2000, Swansea, UK, September 17-19, 2000, selected papers /

Wydane 2001

Thư viện lưu trữ: Thư viện Trường Đại học Đà Lạt

3

Introduction to languages and the theory of computation /

Introduction to languages and the theory of computation /

od Martin, John C.
Wydane 2011

Thư viện lưu trữ: Thư viện Trường CĐ Kỹ Thuật Cao Thắng