Josef Urban – författare
Visar alla böcker från författaren Josef Urban.
4 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
579 kr
Lägg i varukorg
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
729 kr
Lägg i varukorg
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
709 kr
Lägg i varukorg
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
729 kr
Lägg i varukorg