中文
Sign in
AI tools
聊天
热门问题
时间线
Loading AI tools
全部
文章
字典
引用
地图
Knuth–Bendix completion algorithm
来自维基百科,自由的百科全书
Found in articles
重写逻辑
通用术语重写系统的软件实现。 临界对 (逻辑)(英语:Critical pair (logic)) 编译器
Knuth
-
Bendix
完成算法(英语:
Knuth
–
Bendix
completion
algorithm
) L系統指定并行完成的重写。 计算机科学中的参考透明度 Regulated rewriting(英语:Regulated
高德纳
高德納(英語:Donald Ervin
Knuth
,音譯唐納德·爾文·克努斯,1938年1月10日—),出生於美国密尔沃基,著名计算机科学家,斯坦福大学计算机系榮譽退休教授。高德纳教授為现代计算机科学的先驅人物,創造了演算法分析的領域,在數個理論計算機科學的分支做出基石一般的貢獻。在计算机科学及数