Languages
Hutter, Dieter.
Overview
| Works: | 5 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Security in Pervasive Computing = Second International Conference, SPC 2005, Boppard, Germany, April 6-8, 2005, Proceedings /
by:
SpringerLink (Online service); Hutter, Dieter.; Ullmann, Markus.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Mechanizing Mathematical Reasoning = Essays in Honor of Jorg H. Siekmann on the Occasion of His 60th Birthday /
by:
Stephan, Werner.; Hutter, Dieter.; SpringerLink (Online service)
(Electronic resources)
Subjects
Management of Computing and Information Systems.
Software Engineering.
Computer security
Artificial Intelligence (incl. Robotics)
Computers and Society.
Operating Systems.
Computer Communication Networks.
Logic, Symbolic and mathematical.
Reasoning- Technique.
User Interfaces and Human Computer Interaction.
Ubiquitous computing
Computer Science.
Reasoning- Automation.
Mathematical Logic and Foundations.
Mathematical Logic and Formal Languages.
Automatic theorem proving.