Fundamentals of Logic and Computation

Fundamentals of Logic and Computation

With Practical Automated Reasoning and Verification

bởi Zhe Hou
3/5
Xuất bản lần đầu
2022
Các nhà xuất bản
Springer International Publishing AG
Ngôn ngữ
English

Các sách

Sách tương tự