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

单词	logic for computable functions
释义	Logic for Computable Functions Logic for Computable Functions (language)(LCF) Part of the Edinburgh proof assistant.
随便看	line of elevation line of engagement line of equal bearing line of fall line of fate line off hook line office line officer line of fire line of fire, in the line of fixation line of flight line of flux line of force line of gab line of gennari line of heart line of impact line of incidence line of inquiry line of kaes line of latitude line of learning messaging system messaging systems engineering directorate

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

Logic for Computable Functions