Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: dcs=511*
Treffer 786 von 962
|
|
| Link zu diesem Datensatz | https://d-nb.info/984927050 |
| Titel | Quantifier elimination over real closed fields : mathematical basis, solution techniques, practical integrations / Claudia Schultz ; Ralf Moeller |
| Person(en) |
Schultz, Claudia (Verfasser) Möller, Ralf (Verfasser) |
| Verlag | Saarbrücken : VDM, Müller |
| Zeitliche Einordnung | Erscheinungsdatum: 2007 |
| Umfang/Format | 113 S. : graph. Darst. ; 24 cm |
| ISBN/Einband/Preis |
978-3-8364-1306-0 kart. : EUR 59.00 (freier Pr.), sfr 98.00 (freier Pr.) 3-8364-1306-X kart. : EUR 59.00 (freier Pr.), sfr 98.00 (freier Pr.) |
| EAN | 9783836413060 |
| Sprache(n) | Englisch (eng) |
| Anmerkungen | Literaturverz. S. 111 - 113 |
| Schlagwörter | Quantorenelimination ; Reell-abgeschlossener Körper ; Terminologische Logik |
| DDC-Notation | 511.3 [DDC22ger] |
| Sachgruppe(n) | 510 Mathematik |
| Weiterführende Informationen |
Inhaltsverzeichnis Inhaltstext |
| Frankfurt |
Signatur: 2008 A 17474
Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 2008 A 26614
Bereitstellung in Leipzig |
Treffer 786 von 962
Administration
