1
Bỡi Voronkov, Andrei.
Được phát hành 1993
Được phát hành 1993
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
2
3
4
Những chủ đề:
“...Logics and Meanings of Programs...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
5
Những chủ đề:
“...Logics and Meanings of Programs...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
6
Bỡi Voronkov, Andrei
Được phát hành 2020
Những chủ đề:
“...Mathematical Logic and Formal Languages...”Được phát hành 2020
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu
7
Những chủ đề:
“...Logics and Meanings of Programs...”
Thư viện lưu trữ:
Thư viện Trường Đại học Đà Lạt
Liên kết dữ liệu