引用人 7 -
引用人 交叉引用引用 这本书已经 以下出版物引用。 此列表是根据提供的数据生成的 交叉参考 .
杰里米·吉本斯 2020 形式方法。 FM 2019国际研讨会 . 第12233卷, 问题, 第页。 35
理查德·S·伯德。 2020 Garsia–Wachs算法的优化纯功能实现 . 函数编程杂志, 第30卷, 问题,
努里亚·布雷德 和 尼古拉博塔 2021 关于一元反向归纳法的正确性 . 功能编程杂志, 第31卷, 问题,
穆罕默德·法扎努拉 Vu,Hung V.(洪五世)。 和 Le-Ngoc,Tho公司 2022 工厂自动化中联合用户关联和资源分配的深度强化学习 . 第页。 2059
朱莉娅·詹森 和 爱国者詹森 2023 使用细化、记忆和多项式的布尔函数的p级复杂性 . 函数编程杂志, 第33卷, 问题,
阿努拉格·杜塔 雷·萨姆拉特 Elena V.科尔查吉纳。 安德烈·德鲁日宁 和 尼古拉·德米特里耶夫。 2023 丛搜索–搜索枚举 . 第页。 1
孙一灿 彭宣玉 和 熊英飞 2023 综合高效的记忆算法 . 美国计算机学会程序设计语言会议录, 第7卷, 发布。 OOPSLA2, 第页。 89
出版商: 剑桥大学出版社 在线发布日期: 2020年6月 打印出版年份: 2020 在线ISBN: 9781108869041