Josef Urban – författare

Visar alla böcker från författaren Josef Urban.

4 produkter

Kategorier

4 produkter

Del 14278
Del 14278 - Lecture Notes in Computer Science
Automated Reasoning with Analytic Tableaux and Related Methods
32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings
AvRevantha Ramanayake,Josef Urban
Häftad, Engelska, 2023
599 kr
Skickas inom 5-8 vardagar
Del 8543
Del 8543 - Lecture Notes in Computer Science
Intelligent Computer Mathematics
CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings
AvStephen M. Watt,Alan Sextonm. fl.
Häftad, Engelska, 2014
739 kr
Skickas inom 10-15 vardagar
Del 10931
Del 10931 - Lecture Notes in Computer Science
Mathematical Software – ICMS 2018
6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings
AvJames H. Davenport,Manuel Kauersm. fl.
Häftad, Engelska, 2018
719 kr
Skickas inom 10-15 vardagar
Intelligent Computer Mathematics
18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings
AvJames H. Davenport,William M. Farmerm. fl.
Häftad, Engelska, 2011
739 kr
Skickas inom 10-15 vardagar