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