Josef Urban - Böcker

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

4 produkter

Kategorier

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, Engelska, 2023

569 kr

Skickas inom 10-15 vardagar

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, Engelska, 2014

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2018

709 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

Av James H. Davenport, William M. Farmer m. fl

Häftad, Engelska, 2011

729 kr

Skickas inom 10-15 vardagar