Books listed by ISBN > College Publications > A. Szalas

A. Szalas

A. S. · Andrzej Szalas

titleISBN-13
(ISBN-10)		year of publica-
tion		other author(s)
Second Order Quantifier Elimination: Foundations, Computational Aspects and Applications978-1-9O4987-56-7
(1-9O4987-56-7)		2008D. M. Gabbay · R. Schmidt

A. Szalay