1
Được phát hành 2001
“...Workshop on Computer Science Logic Paris, France)...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt