Second-order Quantifier Elimination
Foundations, Computational Aspects and Applications
Studies in Logic: Mathematical Logic and Foundations
Gabbay, Dov
Schmidt, Renate A.
Szalas, Andrzej
- 出版社：College Publications
- 出版年月：2008年 04月
- ISBN：9781904987567
- 装丁：PAP
-
装丁について
- 言語：ENG
- 巻数・ページ数：320 p.
- DDC分類：006.3