Hantao Zhang - Böcker

Visar alla böcker från författaren Hantao Zhang.
3 produkter
Hantao Zhang - Automated Mathematical Induction, Inbunden

Automated Mathematical Induction

Av Hantao Zhang

Inbunden, Engelska, 1996

1 409 kr

Skickas inom 10-15 vardagar
Hantao Zhang, Hantao Zhang - Automated Mathematical Induction, Häftad

Automated Mathematical Induction

Av Hantao Zhang, Hantao Zhang

Häftad, Engelska, 2011

1 409 kr

Skickas inom 10-15 vardagar
Hantao Zhang, Jian Zhang - Logic in Computer Science, Häftad

Logic in Computer Science

Av Hantao Zhang, Jian Zhang

Häftad, Engelska, 2025

1 019 kr

Skickas inom 10-15 vardagar