Результаты поиска

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