語系
Sebastiani, Roberto.
概要
| 作品: | 1 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Frontiers of combining systems = 7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings /
by:
SpringerLink (Online service); Ghilardi, Silvio.; Sebastiani, Roberto.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
Theory and applications of satisfiability testing - SAT 2012 = 15th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
Sebastiani, Roberto.; SpringerLink (Online service); Cimatti, Alessandro.; Congress on Progress and Controversies in Oncological Urology (2000:)
(書目-電子資源)
主題
Software Engineering.
Computer algorithms
Artificial Intelligence (incl. Robotics)
Algorithm Analysis and Problem Complexity.
Logics and Meanings of Programs.
Computer science
Mathematical Logic and Formal Languages.
Information and Communication, Circuits.
Computer software- Verification
Computation by Abstract Devices.
Logic, Symbolic and mathematical
Computer Science.
Programming Techniques.