Normal view MARC view

Hou, Zhe(Personal Name)

Preferred form: Hou, Zhe

Machine generated authority record

Work cat.: (OSt)1236381: Hou, Zhe, Fundamentals of logic and computation: With practical automated reasoning and verification, 2021

Copyright @ Delhi University Library System