Christian Urban - Böcker

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

4 produkter

Kategorier

4 produkter

Interactive Theorem Proving

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

Av Christian Urban, Xingyuan Zhang

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar

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, Engelska, 2009

709 kr

Skickas inom 10-15 vardagar

Rechtsformwahl in der Land- und Forstwirtschaft

Av Peter Brauner, Peter Kaluza m. fl

Inbunden, Tyska, 2025

1 339 kr

Skickas inom 3-6 vardagar

Ähnlichkeitssuche in der "Lost Art Internet Database"

Av Christian Urban

Häftad, Tyska, 2004

1 589 kr

Skickas inom 7-10 vardagar