Intelligent Computer Mathematics
-15%
portes grátis
Intelligent Computer Mathematics
11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
Rabe, Florian; Passmore, Grant O.; Youssef, Abdou; Farmer, William M.
Springer International Publishing AG
07/2018
287
Mole
Inglês
9783319968117
15 a 20 dias
462
Descrição não disponível.
Calculemus.- Digital Mathematical Libraries.- Mathematical Knowledge Management.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
computer mathematics;mathematical documents;mathematical markup languages;mathematical software;mathematics education;mathematical libraries;algorithmic mathematics;formalized mathematics;symbolic computation;computer algebra;theorem proving;proof assistants;knowledge management;machine learning;representation languages;formal semantics;system integration;system interoperability;semantics;artifical intelligence
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
computer mathematics;mathematical documents;mathematical markup languages;mathematical software;mathematics education;mathematical libraries;algorithmic mathematics;formalized mathematics;symbolic computation;computer algebra;theorem proving;proof assistants;knowledge management;machine learning;representation languages;formal semantics;system integration;system interoperability;semantics;artifical intelligence
