Cărți de Christian Urban

Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Lecture Notes in Computer Science, nr. 5674

Editat de Stefan Berghofer et al.

4 aug 2009

Preț: 337^.49 lei 421^.87 lei

43-57 zile

-20%

Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

Lecture Notes in Computer Science, nr. 9236

Editat de Christian Urban et al.

27 aug 2015

Preț: 334^.75 lei 418^.44 lei

43-57 zile

-20%

Ahnlichkeitssuche in Der Lost Art Internet Database: Von Der Kunst, Ein Eigenes Label Zu Grunden

Autor Christian Urban

7 mar 2004

Preț: 512^.74 lei 640^.92 lei

43-57 zile

-20%

Rechtsformwahl in der Land- und Forstwirtschaft

Autor Peter Brauner et al.

17 dec 2014

Preț: 421^.96 lei

Indisponibil temporar