Cărți de Josef Urban

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Lecture Notes in Computer Science, nr. 14278

Editat de Revantha Ramanayake et al.

14 sep 2023

Preț: 308^.19 lei 385^.23 lei

6-8 săpt.

-20%

Mathematical Software – ICMS 2018: 6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Lecture Notes in Computer Science, nr. 10931

Editat de James H. Davenport et al.

14 iul 2018

Preț: 337^.03 lei 421^.28 lei

6-8 săpt.

-20%

Intelligent Computer Mathematics: CICM 2014 Joint Events: Calculemus, DML, MKM, and Systems and Projects 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

Lecture Notes in Computer Science, nr. 8543

Editat de Stephen M. Watt et al.

28 iul 2014

Preț: 334^.60 lei 418^.26 lei

6-8 săpt.

-20%

Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011, Proceedings

Lecture Notes in Computer Science, nr. 6824

Editat de James H. Davenport et al.

18 iul 2011

Preț: 327^.80 lei 409^.75 lei

6-8 săpt.

-20%

Die Erzbischöfe von Bamberg

Editat de Andreas Hölscher et al.

30 iun 2015

Preț: 361^.34 lei

Indisponibil temporar