No full text
Book published as author, translator, etc. (Books)
Second-order Quantifier Elimination Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations)
Gabbay, Dov M.; Schmidt, R.; Szalas, A.
2008College publications
 

Files


Full Text
No document available.

Send to



Details



Disciplines :
Computer science
Identifiers :
UNILU:UL-BOOK-2009-046
Author, co-author :
Gabbay, Dov M. 
Schmidt, R.
Szalas, A.
Language :
English
Title :
Second-order Quantifier Elimination Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations)
Publication date :
2008
Publisher :
College publications
ISBN/EAN :
9781904987567
Available on ORBilu :
since 10 March 2014

Statistics


Number of views
103 (0 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu