Normal view
MARC view
Computation(Topical Term)
Machine generated authority record
Work cat.: (OSt)1237497: Hou, Zhe 731246, Fundamentals of logic and computation: With practical automated reasoning and verification, 2021