Towards Mechanized Mathematical Assistants
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
Häftad, 2007
545 kr
Nietzsche on Education
E-bok
PDF, Engelska, 2026285 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Fler format och utgåvor
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Towards Mechanized Mathematical Assistants
Manuel Kauers, Manfred Kerber, Robert Miner, Wolfgang Windsteiger
Häftad, 2007
545 kr