Josef Urban – författare
Visar alla böcker från författaren Josef Urban. Handla med fri frakt och snabb leverans.
7 produkter
Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
Av Revantha Ramanayake, Josef Urban
Häftad, 2023
453 kr
Lägg i varukorg
This open access book constitutes the proceedings of the proceedings of the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2023, held in Prague, Czech Republic, during September 18-21, 2023. The 20 full papers and 5 short papers included in …
Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Av Stephen M. Watt, Alan Sexton m. fl.
Häftad, 2014
568 kr
Lägg i varukorg
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on …
Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
Av Josef Urban, Petr Sojka m. fl.
E-bok, 2014
755 kr
Lägg i varukorg
This book constitutes the joint refereed proceedings of Calculemus 2014, Digital Mathematics Libraries, DML 2014, Mathematical Knowledge Management, MKM 2014 and Systems and Projects, S&P 2014, held in Coimbra, Portugal, during July 7-11, 2014 as four tracks of CICM 2014, the Conferences on …
Mathematical Software – ICMS 2018
6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Av James H. Davenport, Manuel Kauers m. fl.
Häftad, 2018
552 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018.The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted of …
Mathematical Software - ICMS 2018
6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
Av Josef Urban, George Labahn m. fl.
E-bok, 2018
710 kr
Lägg i varukorg
This book constitutes the proceedings of the 6th International Conference on Mathematical Software, ICMS 2018, held in South Bend, IN, USA, in July 2018. The 59 papers included in this volume were carefully reviewed and selected from numerous submissions. The program of the 2018 meeting consisted …
Intelligent Computer Mathematics
18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
Av James H. Davenport, William M. Farmer m. fl.
Häftad, 2011
568 kr
Lägg i varukorg
This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on …
Intelligent Computer Mathematics
18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
Av Josef Urban, Florian Rabe m. fl.
E-bok, 2011
755 kr
Lägg i varukorg
This book constitutes the joint refereed proceedings of three international events, namely the 18th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2011, the 10th International Conference on Mathematical Knowledge Management, MKM 2011, and a new track on …
