dieter hutter
Mechanizing Mathematical Reasoning
TaschenbuchPrint on DemandInhaltsangabeA Portrait of a Scientist: Logic, AI and Politics.- A Portrait of a Scientist: Logic...
Security in Pervasive Computing
TaschenbuchPrint on DemandThis book constitutes the refereed proceedings of the Second International Conference on Security...
Security in Pervasive Computing
TaschenbuchPrint on DemandThis book constitutes the thoroughly refereed post-proceedings of the First International Confere...
- 1