Christian Urban – författare

Visar alla böcker från författaren Christian Urban.

4 produkter

1. 

   Interactive Theorem Proving

   6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings

   Av Christian Urban, Xingyuan Zhang

   Häftad, 2015

   729 kr

   Lägg i varukorg

2. 

   Theorem Proving in Higher Order Logics

   22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

   Av Stefan Berghofer, Tobias Nipkow m. fl.

   Häftad, 2009

   729 kr

   Lägg i varukorg

3. 

   Rechtsformwahl in der Land- und Forstwirtschaft

   Av Peter Brauner, Peter Kaluza m. fl.

   Inbunden, 2025

   1329 kr

   Lägg i varukorg

4. 

   Ähnlichkeitssuche in der "Lost Art Internet Database"

   Av Christian Urban

   Häftad, 2004

   1609 kr

   Lägg i varukorg