Intelligent Computer Mathematics

Intelligent Computer Mathematics

AngličtinaMěkká vazbaTisk na objednávku
Springer, Berlin
EAN: 9783642393198
Tisk na objednávku
Předpokládané dodání v pondělí, 10. února 2025
1 317 Kč
Běžná cena: 1 463 Kč
Sleva 10 %
ks
Chcete tento titul ještě dnes?
knihkupectví Megabooks Praha Korunní
není dostupné
Librairie Francophone Praha Štěpánská
není dostupné
knihkupectví Megabooks Ostrava
není dostupné
knihkupectví Megabooks Olomouc
není dostupné
knihkupectví Megabooks Plzeň
není dostupné
knihkupectví Megabooks Brno
není dostupné
knihkupectví Megabooks Hradec Králové
není dostupné
knihkupectví Megabooks České Budějovice
není dostupné
knihkupectví Megabooks Liberec
není dostupné

Podrobné informace

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of CICM 2013, the Conferences on Intelligent Computer Mathematics. The 7 revised full papers out of 18 submissions for MKM 2013, 5 revised full papers out of 12 submissions for Calculemus 2013, 6 revised full papers out of 8 submissions for DML 2013, and 12 revised full papers out of 16 submissions for Systems and Project track presented together with 3 invited talks were carefully reviewed and selected, resulting in 33 papers from a total of 73 submissions.
EAN 9783642393198
ISBN 3642393195
Typ produktu Měkká vazba
Vydavatel Springer, Berlin
Datum vydání 22. července 2013
Stránky 384
Jazyk English
Rozměry 235 x 155
Země Germany
Sekce Professional & Scholarly
Ilustrace XVI, 384 p. 100 illus.
Editoři Aspinall David; Carette Jacques; Lange Christoph; Sojka Petr; Windsteiger Wolfgang
Série Lecture Notes in Artificial Intelligence