首页 / 资料库 / 文献详情

REDLOG--First-Order Logic for the Masses (特集 Quantifier Elimination)

Andreas Dolzmann、Andreas Seidl

2003数式処理Computer Science被引 1

出版方页面 →

摘要

该文献暂无收录摘要。

引用本文（GB/T 7714）

Andreas Dolzmann, Andreas Seidl. REDLOG--First-Order Logic for the Masses (特集 Quantifier Elimination)[J]. 数式処理, 2003.

引文网络

参考文献与被引分析加载中…

本站仅收录题录与摘要供学习参考，全文版权归属出版方；如有侵权请联系我们删除。