Second-order Quantifier Elimination: Mathematical Foundations, Computational Aspects and Applications Authors: Dov Gabbay, Renate Schmidt and Andrzej Sza.

 
  • 二阶量词消除:数学基础,计算及应用。
今日热词
目录 附录 查词历史