Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification

MLA

Hou, Zhe. Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification. Cham: Springer International Publishing AG, 2022.

APA

Hou, Z. (2022). Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification. Cham: Springer International Publishing AG.

Chicago

Hou, Zhe. Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification. Cham: Springer International Publishing AG, 2022.