2021, ISBN: 9783030810962

[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the refereed proceedings of the 14th International Conference on Intelligent … mais…

[ED: Softcover], [PU: Springer / Springer International Publishing / Springer, Berlin], This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*. The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics. * The conference was held virtually due to the COVID-19 pandemic. 1st ed. 2021. 2021. xx, 249 S. XX, 249 p. 69 illus., 32 illus. in color. 235 mm Versandfertig in 6-10 Tagen, DE, [SC: 0.00], Neuware, gewerbliches Angebot, Offene Rechnung (Vorkasse vorbehalten)<

2010, ISBN: 9783030810962

[ED: Taschenbuch], [PU: Springer International Publishing], Neuware - This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathemati… mais…

[ED: Taschenbuch], [PU: Springer International Publishing], Neuware - This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*.The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics.* The conference was held virtually due to the COVID-19 pandemic.- Besorgungstitel - vorauss. Lieferzeit 3-5 Tage., DE, [SC: 2.40], Neuware, gewerbliches Angebot, 235x155x15 mm, 272, [GW: 417g], Banküberweisung, Offene Rechnung, Kreditkarte, PayPal, Offene Rechnung (Vorkasse vorbehalten), Internationaler Versand<

2021, ISBN: 9783030810962

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*. The 12 full… mais…

This book constitutes the refereed proceedings of the 14th International Conference on Intelligent Computer Mathematics, CICM 2021, held in Timisoara, Romania, in July 2021*. The 12 full papers, 7 system descriptions, 1 system entry, and 3 abstracts of invited papers presented were carefully reviewed and selected from a total of 38 submissions. The papers focus on advances in formalization, automatic theorem proving and learning, search and classification, teaching and geometric reasoning, and logic and systems, among other topics. * The conference was held virtually due to the COVID-19 pandemic. Trade Books>Trade Paperback>Technology>Xxxsoftware Engr>* Desc Unknown, Springer International Publishing Core >1<

2021, ISBN: 3030810968

1st ed. 2021 Kartoniert / Broschiert Angewandte Informatik, Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften, Theoretische Informatik, Künstliche Intelligenz, architecti… mais…

1st ed. 2021 Kartoniert / Broschiert Angewandte Informatik, Computer-Anwendungen in den Sozial- und Verhaltenswissenschaften, Theoretische Informatik, Künstliche Intelligenz, architecting; architectureverificationandvalidation; ArtificialIntelligence; automatatheory; computerprogramming; computerscience; computersystems; education; formallanguages; formallogic; internet; linguistics; machinelearning; ProgrammingLanguages; Semantics; Softwaredesign; Softwareengineering; theoremprovers; theoreticalcomputerscience, mit Schutzumschlag 11, [PU:Springer International Publishing]<

2021, ISBN: 9783030810962

paperback