德米特里·特拉泰尔 🌐
2015年5月28日
草案中描述了WS1S实例A类WS1S的协同决策过程作者。
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9电子88c17a723e
甲胎蛋白/65f70952d452
公式_导数-AFP
@第{条Formula_Derivatives-AFP,author={Dmitriy Traytel},title={逻辑公式的导数},journal={正式证据存档},月份={May},年份={2015年},注意={\url{https://isa-afp.org/entries/Formula_Derivatives.html},形式证明开发},ISSN={2150-914x},}
旧版本: