“algebraic specification”的概念、定义、翻译、参考文献-科学参考

单词	algebraic specification
释义	algebraic specification Computer A special type of axiomatic specification in which the axioms are equations or conditional equations. See also module specification.
随便看	kudu Kuehneosaurus latus Kuenen, Philip Henry (1902–72) Kueyen Kuhn, Richard Kuhn, Thomas Samuel (1922–96) Kuiper Belt Kuiper belt Kuiper, Gerard Peter Kuiper, Gerard Peter (1905–73) Kuiperian Ku Klux Klan kulak Kula Plate Kullback, Solomon (1903–94) Kullback–Leibler information Kulldorff scan statistic Kulturkampf Kummer, Ernst (1810–93) Kun, Béla (1886–1937) Kundalini Kundt’s tube Kungurian kunkar Kuomintang

科学参考收录了60776条科技类词条，基本涵盖了常见科技类参考文献及英语词汇的翻译，是科学学习和研究的有利工具。