Publikation

Special Issue on Authoring, Digitalization and Management of Mathematical Knowledge (Foreword)

Serge Autexier, Petr Sojka, Masakazu Suzuki

In: Journal Mathematics in Computer Science 3 3 Seiten 225-226 Birkhaeuser Basle, Switzerland 3/2010.

Abstrakt

Special Issue on Authoring, Digitization and Management of Mathematical Knowledge

Projekte

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence