Fundamentals of logic and computation : with practical automated reasoning and verification/ Zhe Hou
Author(s)
Bibliographic Information
Fundamentals of logic and computation : with practical automated reasoning and verification/ Zhe Hou
（Texts in computer science）
Springer, c2021
Available at / 1 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index
