Christian Urban – författare

Visar alla böcker från författaren Christian Urban. Handla med fri frakt och snabb leverans.

6 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

   568 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations …

2. 

   Interactive Theorem Proving

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

   Av Xingyuan Zhang, Christian Urban

   E-bok, 2015

   755 kr

   Lägg i varukorg

   This book constitutes the proceedings of the 6th International Conference on Interactive Theorem Proving, ITP 2015, held in Nanjing, China, in August 2015. The 27 papers presented in this volume were carefully reviewed and selected from 54 submissions. The topics range from theoretical foundations …

3. 

   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

   568 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were …

4. 

   Theorem Proving in Higher Order Logics

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

   Av Makarius Wenzel, Christian Urban m. fl.

   E-bok, 2009

   734 kr

   Lägg i varukorg

   This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were …

5. 

   Rechtsformwahl in der Land- und Forstwirtschaft

   Av Peter Brauner, Peter Kaluza m. fl.

   Inbunden, 2025

   1019 kr

   Lägg i varukorg

6. 

   Ähnlichkeitssuche in der "Lost Art Internet Database"

   Av Christian Urban

   Häftad, 2004

   1237 kr

   Lägg i varukorg