Kết quả tìm kiếm

1

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /

Computer science logic : 15th international workshop, CSL 2001, 10th annual conference of the EACSL, Paris, France, September 10-13, 2001 : proceedings /

Được phát hành 2001

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

2

Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /

Logic in Computer Science: Modelling and Reasoning about Systems (Photo) /

Bỡi Huth Michael
Được phát hành 2002

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