語系
Hahnle, Reiner.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Tests and proofs = second international conference, TAP 2008, Prato, Italy, April 9-11, 2008 : proceedings /
by:
SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:); Hahnle, Reiner.; Beckert, Bernhard.
(書目-電子資源)
Automated reasoning = 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); Hahnle, Reiner.; Giesl, Jurgen.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Computer software- Quality control
Computer logic
Artificial Intelligence (incl. Robotics)
Computers and Society.
Computer Communication Networks.
Automatic theorem proving
System Performance and Evaluation.
Computer software- Reliability
Logic Design.
Discrete Mathematics in Computer Science.
Mathematics of Computing.
Computer Science.
Computer software- Testing
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.