Yazar
Xingyuan Zhang
4 cilt bulundu.
Cilt sonuçları
Interactive Theorem Proving
Christian Urban, Xingyuan Zhang · Springer
475 sayfa · 2015
Automatic theorem proving / Logic, symbolic and mathematical
Deep Integration, Global Firms, and Technology Spillovers
Naoto Jinji, Xingyuan Zhang, Shoji Haruna · Springer Singapore Pte. Limited
182 sayfa · 2021
Kategori yok