Claudio Sacerdoti Coen – författare
Visar alla böcker från författaren Claudio Sacerdoti Coen. Handla med fri frakt och snabb leverans.
8 produkter
Intelligent Computer Mathematics
12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
Av Cezary Kaliszyk, Edwin Brady m. fl.
Häftad, 2019
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on …
Intelligent Computer Mathematics
12th International Conference, CICM 2019, Prague, Czech Republic, July 8–12, 2019, Proceedings
Av Claudio Sacerdoti Coen, Andrea Kohlhase m. fl.
E-bok, 2019
739 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 12th International Conference on Intelligent Computer Mathematics, CICM 2019, held in Prague, Czech Republic, in July 2019. The 19 full papers presented were carefully reviewed and selected from a total of 41 submissions. The papers focus on …
Functional and Constraint Logic Programming
28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
Av Michael Hanus, Claudio Sacerdoti Coen
Häftad, 2021
568 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020.Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were …
Functional and Constraint Logic Programming
28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers
Av Claudio Sacerdoti Coen, Michael Hanus
E-bok, 2021
739 kr
Lägg i varukorg
This book constitutes the refereed post-conference proceedings of the 28th International Workshop on Functional and Constraint Logic Programming, WFLP 2020, held in Bologna, Italy, in September 2020. Due to the COVID-19, the workshop was held online. From the 19 full papers submitted, 8 were …
Intelligent Computer Mathematics
14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings
Av Fairouz Kamareddine, Claudio Sacerdoti Coen
Häftad, 2021
536 kr
Lägg i varukorg
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 …
Intelligent Computer Mathematics
14th International Conference, CICM 2021, Timisoara, Romania, July 26–31, 2021, Proceedings
Av Claudio Sacerdoti Coen, Fairouz Kamareddine
E-bok, 2021
713 kr
Lägg i varukorg
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 …
Intelligent Computer Mathematics
16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
Av Jacques Carette, Lucas Dixon m. fl.
Häftad, 2009
568 kr
Lägg i varukorg
As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among …
Intelligent Computer Mathematics
16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Grand Bend, Canada, July 6-12, 2009, Proceedings
Av Stephen Watt, Claudio Sacerdoti Coen m. fl.
E-bok, 2009
718 kr
Lägg i varukorg
As computers and communications technology advance, greater opportunities arise for intelligent mathematical computation. While computer algebra, au- mated deduction and mathematical publishing each have long and successful histories, we are now seeing increasing opportunities for synergy among …
