Artur Michael Landgraf (1895-1958)

Der gelehrte Bamberger Weihbischof - Dokumentationen

Produktform: Buch / Einband - fest (Hardcover)

Automated Reasoning with Analytic Tableaux and Related Methods

32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Komturei „Franken“ des Deutschen Ordens St. Mariens in Jerusalem 1988–2013

Produktform: Buch / Einband - fest (Hardcover)

Mathematical Software – ICMS 2018

6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Mathematical Software – ICMS 2018

6th International Conference, South Bend, IN, USA, July 24-27, 2018, Proceedings

Produktform: Buch / Einband - flex.(Paperback)

Intelligent Computer Mathematics

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Intelligent Computer Mathematics

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

Produktform: Buch / Einband - flex.(Paperback)

Intelligent Computer Mathematics

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

Produktform: E-Buch Text Elektronisches Buch in proprietärem

Intelligent Computer Mathematics

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

Produktform: Buch / Einband - flex.(Paperback)