Equational logic was developed over the years (beginning in the early 1980's) by researchers in the formal development of programs.
等式論理は（1980年代の初期に始まる）何年もの間、プログラムの形式的展開における研究者たちによって開発された。 - コンピューター用語辞典
例文データの著作権について
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
