Intelligent Computer Mathematics, 1st ed. 2016 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings Lecture Notes in Artificial Intelligence Series
Coordonnateurs : Kohlhase Michael, Johansson Moa, Miller Bruce, de Moura Leonardo, Tompa Frank
Includes supplementary material: sn.pub/extras
Date de parution : 07-2016
Ouvrage de 163 p.
15.5x23.5 cm
Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).
Prix indicatif 44,31 €
Ajouter au panierThèmes d’Intelligent Computer Mathematics :
Mots-clés :
computational logic; computer algebra systems; higher-order logic; model checking; symbolic computation; automated reasoning; automated theorem proving; computer-supported theory exploration; digital mathematical libraries; formalization; formalized mathematics; geometric topology; knowledge bases; logical problems; Markov chain; mathematical knowledge representation; Petri nets; satisfiability checking; systems; theorem proving