Výsledky vyhledávání

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 /

Vydáno 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) /

Autor Huth Michael
Vydáno 2002

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