Intelligent Computer Mathematics -- 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects

Základní údaje

Originální název Intelligent Computer Mathematics -- 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects
Autoři
Johan Jeuring
John A. Campbell
Gabriel Dos Reis
Petr Sojka
Makarius Wenzel
Volker Sorge

Další údaje

Citace JEURING, Johan, John A. CAMPBELL, Gabriel DOS REIS, Petr SOJKA, Makarius WENZEL a Volker SORGE. Intelligent Computer Mathematics -- 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects. In LNCS/LNAI Volume 7362. první. Bremen: Springer, 2012. ISBN 978-3-642-31373-8.
Originální název angličtina
Obor Obecná matematika
WWW
Druh Editorství tématického sborníku
Klíčová slova mathematics knowledge management; Intelligent Computer Mathematics; DML; MKM; AISC; Calculemus

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.

Další info