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

Format:: e-book
Title:: Fundamentals of Logic and Computation : With Practical Automated Reasoning and Verification
Author:: Hou, Zhe.
Language:: English
Publisher:: Cham Springer International Publishing AG 2022
ISBN:: 3-030-87881-3
3-030-87882-1
Permalink:: http://bibtest.howest.be/catalog/ebk03:19991161800041?locale=en