Reference : Second-order Quantifier Elimination Foundations, Computational Aspects and Applicatio...
Books : Book published as author, translator, etc.
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/15870
Second-order Quantifier Elimination Foundations, Computational Aspects and Applications (Studies in Logic Mathematical Logic and Foundations)
English
Gabbay, Dov M. [> >]
Schmidt, R. [> >]
Szalas, A. [> >]
2008
College publications
9781904987567
http://hdl.handle.net/10993/15870

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.