Hoppa till sidans huvudinnehåll

Josef Urban – författare

Visar alla böcker från författaren .
4 produkter
Revantha Ramanayake, Josef Urban - Automated Reasoning with Analytic Tableaux and Related Methods, Häftad
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

579 kr

Skickas inom 5-8 vardagar

Stephen M. Watt, Alan Sexton, James H. Davenport, Petr Sojka, Josef Urban - Intelligent Computer Mathematics, Häftad
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

729 kr

Skickas inom 10-15 vardagar

James H. Davenport, Manuel Kauers, George Labahn, Josef Urban - Mathematical Software – ICMS 2018, Häftad
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

709 kr

Skickas inom 10-15 vardagar

James H. Davenport, William M. Farmer, Florian Rabe, Josef Urban - Intelligent Computer Mathematics, Häftad

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

729 kr

Skickas inom 10-15 vardagar