逻辑·语言·计算

本书收集了马希文20世纪70年代以来在数学、计算机科学、人工智能、语言学(包括计算语言学)方面的重要论述...

2019.