語系
Hutter, Dieter.
概要
| 作品: | 5 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
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:)
(書目-電子資源)
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)
(書目-電子資源)
主題
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.