Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich.
mehr Informationen...
Details
- Autor(en) / Beteiligte
- Titel
- Grundlagen des maschinellen Beweisens : Eine Einführung für Informatiker und Mathematiker
- Auflage
- 1st ed. 1989
- Ort / Verlag
- Wiesbaden : Vieweg+Teubner Verlag
- Erscheinungsjahr
- 1989
- Link zum Volltext
- Sprache
- Deutsch
- Identifikatoren
- ISBN: 9783322842237Titel-ID: 990366997710206441
- Format
- 1 Online-Ressource (172 S.)
- Schlagworte
- Applied mathematics, Engineering mathematics, Engineering