检索结果

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 /

出版 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) /

由 Huth Michael
出版 2002

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