共 50 条
- [45] MathLang Translation to Isabelle Syntax INTELLIGENT COMPUTER MATHEMATICS, PROCEEDINGS, 2009, 5625 : 373 - 388
- [47] What is Syntax Controlled Translation?. Elektronische Rechenanlagen mit Computer Praxis, 1975, 17 (05): : 230 - 235
- [49] COMPUTER TRANSLATION OF IUPAC SYSTEMATIC ORGANIC CHEMICAL NOMENCLATURE .3. SYNTAX ANALYSIS AND SEMANTIC PROCESSING JOURNAL OF CHEMICAL INFORMATION AND COMPUTER SCIENCES, 1989, 29 (02): : 112 - 118
- [50] PRACTICAL THEORY OF SYNTAX FOR TRANSLATION IRAL-INTERNATIONAL REVIEW OF APPLIED LINGUISTICS IN LANGUAGE TEACHING, 1976, 14 (04): : 373 - 382