Ralf Möller - Quantifier Elimination over Real Closed Fields: Mathematical Basis, Solution Techniques, Practical Integrations

Brand : AV Akademikerverlag, Binding : Taschenbuch, Label : AV Akademikerverlag, Publisher : AV Akademikerverlag, medium : Taschenbuch, numberOfPages : 124, publicationDate : 2012-05-09, authors : Ralf Möller, Claudia Schultz, ISBN : 363940663X ...