1
Những chủ đề:
“...Automatic theorem proving...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt