1904987567
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications eBooks & eLearning
Posted by roxul at Jan. 1, 2017
D. M. Gabbay, R. Schmidt, A. Szalas, "Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications"
English | ISBN: 1904987567 | 2008 | 318 pages | PDF | 23 MB
English | ISBN: 1904987567 | 2008 | 318 pages | PDF | 23 MB