Articles liés à 现代类型论的发...
Résultats de recherche pour 现代类型论的发...
Image d'archives
The Development and Application of Modern Typology(Chinese Edition)
Edité par
Tsinghua University Press, 2024
ISBN 10 : 7302660352
ISBN 13 : 9787302660354
Neuf
paperback
Vendeur : liu xing, Nanjing, JS, Chine
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : New. Paperback.Pub Date:2024-04 Pages:213 Publisher:Tsinghua University Press This book is a monograph on modern type theory. Similar to set theory. modern type theory is the basic language of mathematics and many other fields. This book introduces modern type theory (and its meta-theory). and uses natural language semantics and computer-assisted reasoning as examples to discuss in-depth and easy-to-understand application fields based on modern type theory. As a basic language. modern type theory . N° de réf. du vendeur DS057778
Acheter neuf
EUR 93,05
Expédition à EUR 15,59
Expédition depuis Chine vers Etats-Unis
Expédition depuis Chine vers Etats-Unis
Quantité disponible : 1 disponible(s)