Language: English

回圖書館首頁

手機版館藏查詢

Login

Languages

English (2)

Jump To : Overview | Titles | Subjects

Cheng, Yong.

Overview

Works:	3 works in 2 publications in 1 languages

Titles

Incompleteness for higher-order arithmetic = an example based on Harrington's principle / by: Cheng, Yong.; SpringerLink (Online service) (Electronic resources)

Joint training for neural machine translation by: Cheng, Yong.; SpringerLink (Online service) (Electronic resources)

Subjects

Natural Language Processing (NLP) Mathematical Logic and Foundations. Logic in AI. Machine translating. Neural networks (Computer science) Incompleteness theorems.

Change password

Login