本程序用于语法分析
本程序用于语法分析...
奥本海默技术资料
📦 资源总数：19128
💻 源代码：46990
🔥 奥本海默热门资料
查看全部19128个资源 »MIDP不支持小数。 所以画抛物线时只在模拟画了。 本代码就是模拟一个子弹飞行轨迹。
MIDP不支持小数。 所以画抛物线时只在模拟画了。 本代码就是模拟一个子弹飞行轨迹。...
一本讲arm存储结构的书。
一本讲arm存储结构的书。...
一本讲述linux软件之父 李纳斯.托沃兹 的书
一本讲述linux软件之父 李纳斯.托沃兹 的书...
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，并推导出一个空子句(NIL)，产生一个矛盾。...
💻 奥本海默源代码
查看更多 »📂 奥本海默资料分类