Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: idn=953197883
Treffer 1 von 1
|
|
| Link zu diesem Datensatz | https://d-nb.info/953197883 |
| Titel | Theorem proving with the real numbers / John Harrison |
| Person(en) | Harrison, John (Verfasser) |
| Verlag | London ; Berlin ; Singapore ; Tokyo ; Heidelberg ; New York ; Barcelona ; Budapest ; Hong Kong ; Milan ; Paris ; Santa Clara : Springer |
| Zeitliche Einordnung | Erscheinungsdatum: 1998 |
| Umfang/Format | XII, 186 S. : graph. Darst. ; 24 cm |
| Andere Ausgabe(n) | Erscheint auch als Online-Ausgabe: Harrison, John: Theorem Proving with the Real Numbers |
| ISBN/Einband/Preis |
978-3-540-76256-0 Pp. : DM 139.00 3-540-76256-6 Pp. : DM 139.00 |
| Sprache(n) | Englisch (eng) |
| Beziehungen | Distinguished dissertations |
| Anmerkungen | Literaturverz. S. 169 - 183 |
| Schlagwörter |
HOL ; Reelle Zahl Automatisches Beweisverfahren ; Computeralgebra ; Reelle Zahl |
| Sachgruppe(n) | 28 Informatik, Datenverarbeitung ; 27 Mathematik |
| Frankfurt |
Signatur: 1998 A 41978 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Frankfurt |
| Leipzig |
Signatur: 1998 A 41978 Bestand: [Dieses Werk gibt es inhaltsgleich auch in digitaler Form.] Bereitstellung in Leipzig |
Treffer 1 von 1
Administration
