标记为统一的包裹
4个包裹有此标签。
[合并标签](仅限受托人)相关标签:图书馆(4),逻辑(3),算法(2),bsd3型(2),编译器-解释器(2),语言(2),麻省理工学院(2),代数(1),程序(1)
姓名 |
数据链路 |
额定值 |
收入折旧 |
描述 |
标签 |
最后一个U/L |
上次版本 |
维护者 |
R解决方案 | 10 | 2 | 0 | | (图书馆,逻辑,麻省理工学院,程序,统一) | 2019-08-05 | 2.0.0.0 | 冰1000 |
超型 | 12 | 0 | 0 | 类型化AST | (算法,bsd3型,编译器-解释器,语言,图书馆,逻辑,统一) | 2023-07-25 | 0.2.2 | Yair Chuchem公司 |
单体统一 | 16 | 0 | 2 | 一般一阶统一 | (图书馆,麻省理工学院,统一) | 2014-04-15 | 0.2.2 | 菲利普·弗里曼 |
统一-fd | 52 | 2 | 4 | 简单的通用统一算法。 | (代数,算法,bsd3型,编译器-解释器,语言,图书馆,逻辑,统一) | 2022-05-26 | 0.11.2 | 雷恩霍顿,雷恩·罗曼诺 |