Hantao Zhang - Böcker

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

3 produkter

Kategorier

3 produkter

Automated Mathematical Induction

Av Hantao Zhang

Inbunden, Engelska, 1996

1 419 kr

Skickas inom 10-15 vardagar

Automated Mathematical Induction

Av Hantao Zhang, Hantao Zhang

Häftad, Engelska, 2011

1 419 kr

Skickas inom 10-15 vardagar

Logic in Computer Science

Av Hantao Zhang, Jian Zhang

Häftad, Engelska, 2025

909 kr

Skickas inom 10-15 vardagar