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

单词	logic for computable functions
释义	Logic for Computable Functions Logic for Computable Functions (language)(LCF) Part of the Edinburgh proof assistant.
随便看	power man (disambiguation) power margin power margin indicator power marketing administration power marketing agency powermat power-matched load-modulation power (mathematics) power maurer clan germany power measurement modulation session power measurement report message power medical interventions power medical interventions, inc. power memory area power memory international power meter power meter channel power mirror power mirrors powermizer unit power mobility device power-mobility indoor driving assessment power mode control power mode master power modulation symposium

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

Logic for Computable Functions