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ț: 344^.42 lei 430^.53 lei

6-8 săpt.

-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ț: 341^.63 lei 427^.04 lei

6-8 săpt.

-20%

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

Autor Christian Urban

7 mar 2004

Preț: 523^.30 lei 654^.13 lei

6-8 săpt.

-20%

Rechtsformwahl in der Land- und Forstwirtschaft

Autor Peter Brauner et al.

17 dec 2014

Preț: 421^.96 lei

Indisponibil temporar