Second-order Quantifier Elimination
Foundations, Computational Aspects and Applications
Dov Gabbay author Renate A Schmidt author Andrzej Szałas author
Format:Paperback
Publisher:College Publications
Published:17th Apr '08
Currently unavailable, and unfortunately no date known when it will be back
This paperback, "Second-order Quantifier Elimination" from Dov Gabbay, Renate A Schmidt & Andrzej Szałas, was published 17th April 2008 by College Publications.
ISBN: 9781904987567
Dimensions: 234mm x 156mm x 17mm
Weight: 451g
320 pages