机读格式显示(MARC)

• 000 01321nam0 2200265 450

• 001 0000944711

• 005 20240904132000.0

• 010 __ |a 978-7-302-66035-4 |d CNY68.00

• 100 __ |a 20240426d2024 emky0chiy50 ea

• 101 0_ |a chi |c eng

• 102 __ |a CN |b 110000

• 105 __ |a a z 001yy

• 106 __ |a r

• 200 1_ |a 现代类型论的发展与应用 |A xian dai lei xing lun de fa zhan yu ying yong |f (英)罗朝晖著

• 210 __ |a 北京 |c 清华大学出版社 |d 2024

• 215 __ |a 213页 |c 图 |d 23cm

• 312 __ |a 封面英文题名：Modern type theories: their development and applications

• 330 __ |a 本书介绍了现代类型论(及其元理论)，并以自然语言语义学和计算机辅助推理为例对以现代类型论为基础的应用领域进行讨论。作为基础语言，现代类型论一方面提供了丰富的描述机制，另一方面便于理解与实现，因此与集合论相比有着多方面的优势。这些优点在实际运用中展示出来：作为范例，书中深入研究了基于现代类型论的自然语言语义学，以加深读者对此的理解。书中还介绍了以现代类型论为基础的交互式证明技术在数学形式化、计算机程序验证及自然语言推理诸方面的应用，进一步展示了使用现代类型论作为基础语言的优势。

• 510 1_ |a Modern type theories |e their development and applications |z eng

• 606 0_ |a 自然语言处理 |A Zi Ran Yu Yan Chu Li

• 690 __ |a TP391 |v 5

• 701 _0 |a 罗朝晖 |A luo chao hui |4 著

• 801 _0 |a CN |b HDUL |c 20240904

• 905 __ |a HDUL |d TP391/6461

• 920 __ |a 233030 |z 1