ISBN: 9787302660354 - 现代类型论的发展与应用 (1 resultados)
- Tapa blanda
Librería: liu xing, Nanjing, JS, Chinaliu xing
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 96,02
Envío por EUR 16,08Se envía de China a Estados Unidos de AmericaCantidad disponible: 1 disponible
paperback. Condición: 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 .…
