Normal view
MARC view
Hou, Zhe(Personal Name)
Machine generated authority record
Work cat.: (OSt)1236381: Hou, Zhe, Fundamentals of logic and computation: With practical automated reasoning and verification, 2021