Verwandte Artikel zu 现代类型论的发...
Suchergebnisse für 现代类型论的发...
Beispielbild für diese ISBN
The Development and Application of Modern Typology(Chinese Edition)
Anbieter: liu xing, Nanjing, JS, China
Verkäuferbewertung 5 von 5 Sternen
paperback. Zustand: 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 . Bestandsnummer des Verkäufers DS057778
Neu kaufen
EUR 93,15
EUR 15,60 Versand
Versand von China nach USA
Versand von China nach USA
Anzahl: 1 verfügbar