Towards Mechanized Mathematical Assistants
In diesem Sammelband werden die neuesten Ansätze zur automatisierten Unterstützung mathematischer Arbeiten vorgestellt, von symbolischer Manipulatio ...
Gesponsert
Medimops DE
53.49 EUR
Preis aktualisiert am: 23-05-2026 00:40:09
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 22-05-2026 15:41:15
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 23-05-2026 01:43:29
Allgemein
Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 9783540730835
MPN
Springer-Verlag GmbH biography
