Computer Theorem Proving in Mathematics
Simpson, Carlos
- Link zu diesem Datensatz
- https://d-nb.info/1314053620
- Titel
- Computer Theorem Proving in Mathematics
- Art des Inhalts
- Teil eines Werks
- Verfassangaben
- by Carlos Simpson
- Autor
- Simpson, Carlos
- Organisation(en)
-
- SpringerLink (Online service)
- Zeitliche Einordnung
- Erscheinungsdatum: 2004
- Umfang/Format
- 1 Online-Ressource.
- DOI
- 10.1007/s11005-004-0607-9
- Online
- https://doi.org/10.1007/s11005-004-0607-9
- Sprache
- eng
- Schlagwörter
- Frühere/spätere Titel
-
- Enthalten in: Letters in mathematical physics
- Enthalten in: Letters in mathematical physics
- Enthalten in: Letters in mathematical physics
- Stand
- 20.12.2023 09:01
- Im Katalog seit
- 07.03.2026