Hantao Zhang – författare

Visar alla böcker från författaren Hantao Zhang.

3 produkter

1. 

   Automated Mathematical Induction

   Av Hantao Zhang

   Inbunden, 1996

   1449 kr

   Lägg i varukorg

2. 

   Automated Mathematical Induction

   Av Hantao Zhang, Hantao Zhang

   Häftad, 2011

   1409 kr

   Lägg i varukorg

3. 

   Logic in Computer Science

   Av Hantao Zhang, Jian Zhang

   Häftad, 2025

   909 kr

   Lägg i varukorg