Paperback Book
显示无货商品

Hantao Zhang的作品

Cover for Hantao Zhang · Logic in Computer Science (Paperback Book) [2024 edition] (2025)

Logic in Computer Science (2025)

Cover for Hantao Zhang · Automated Mathematical Induction (Paperback Book) [Softcover reprint of the original 1st ed. 1996 edition] (2011)

Softcover reprint of the original 1st ed. 1996 edition

Automated Mathematical Induction (2011)