Towards Mechanized Mathematical Assistants

In diesem Sammelband werden die neuesten Ansätze zur automatisierten Unterstützung mathematischer Arbeiten vorgestellt, von symbolischer Manipulatio ...
Towards Mechanized Mathematical Assistants
Wo zu kaufen (3) Eigenschaften
Gesponsert
Towards Mechanized Mathematical Assistants, Fachbücher von Robert Miner, Manuel Kauers, Manfred Kerber
Galaxus.de
53.49 EUR
Preis aktualisiert am: 06-09-2026 08:02:29
Siehe Produktangebot
Gesponsert
Towards Mechanized Mathematical Assistants: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, ... (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 07-09-2026 06:01:09
Siehe Produktangebot
Gesponsert
Towards Mechanized Mathematical Assistants
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 07-09-2026 11:13:24
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
ISBN
Springer-Verlag GmbH 9783540730835
MPN
Springer-Verlag GmbH biography

Eigenschaften

Ähnliche Produkte

Multimodal Learning toward Recommendation
Multimodal Learning toward Recommendation
Produkt anzeigen
Transaction Cost Economics and Beyond: Toward a New Economics of the Firm: Towards a New Economics of the Firm
Transaction Cost Economics and Beyond: Toward a New Economics of the Firm: Towards a New Economics of the Firm
Produkt anzeigen
Insurrectionist Wisdoms: Toward a North American Indigenized Pastoral Theology (Environment and Religion in Feminist-womanist, Queer, and Indigenous Perspectives)
Insurrectionist Wisdoms: Toward a North American Indigenized Pastoral Theology (Environment and Religion in Feminist-womanist, Queer, and Indigenous Perspectives)
Produkt anzeigen
Bending the Arc Toward Justice
Bending the Arc Toward Justice
Produkt anzeigen
Towards the Within (Remastered)
Towards the Within (Remastered)
Produkt anzeigen
Towards the Within (Remastered)
Towards the Within (Remastered)
Produkt anzeigen
Menü