1
Published 2014
Table of Contents: ...-Programs with Existential Quantification -- Introducing Real Variables and Integer Objective Functions...
View full text
Electronic eBook