英语词汇“logic for computable functions”的英英意思、用法、释义、翻译、读音、例句、短语、词组-英语词典

单词	logic for computable functions
释义	Logic for Computable Functions Logic for Computable Functions (language)(LCF) Part of the Edinburgh proof assistant.
随便看	twin city federal twin city testing corporation twin clutch sportronic shift transmission pbzs p c p&c p-c p. c. p.c. p/c pc pc% pc++ pc-1 pc1 pc10 pc100 pc/104 pc/104+ pc104 pc12 pc133 pc15 pc1600 pc-1834

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。

Logic for Computable Functions