Zhang, Hantao books & textbook
Logic in Computer Science
Springer /2025-01-12 Paperback / 500 Pages
isbn-10: 9819798159 / isbn-13: 9789819798155
Automated Mathematical Induction
Springer /2011-09-28 Paperback / 228 Pages
isbn-10: 9401072507 / isbn-13: 9789401072502
War under the Scepter (Chinese Edition)
Taihai Publishing House /2017-03-01 Paperback / 1120 Pages
isbn-10: 7516812943 / isbn-13: 9787516812945
Automated Mathematical Induction
Springer /1996-05-31 Hardcover / 228 Pages
isbn-10: 0792340108 / isbn-13: 9780792340102
