Startseite Mathematik 1. Introduction: Mechanization and Formalization
Kapitel
Lizenziert
Nicht lizenziert Erfordert eine Authentifizierung

1. Introduction: Mechanization and Formalization

  • Mortimer Taube
Weitere Titel anzeigen von Columbia University Press
© 2019 Columbia University Press
Heruntergeladen am 28.9.2025 von https://www.degruyterbrill.com/document/doi/10.7312/taub90714-003/html?lang=de
Button zum nach oben scrollen