語系
Sebastiani, Roberto.
概要
| 作品: | 9 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Frontiers of combining systems7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings /
by:
(1998 :); Ghilardi, Silvio.; Sebastiani, Roberto.; SpringerLink (Online service)
(書目-電子資源)
Automated reasoning9th International Joint Conference, IJCAR 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018 : proceedings /
by:
(1998 :); Galmiche, Didier.; Schulz, Stephan.; Sebastiani, Roberto.; SpringerLink (Online service)
(書目-電子資源)
Theory and applications of satisfiability testing - SAT 201215th International Conference, Trento, Italy, June 17-20, 2012 : proceedings /
by:
(1998 :); Cimatti, Alessandro.; Sebastiani, Roberto.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical Logic and Formal Languages.
Software Engineering.
Logics and Meanings of Programs.
Computer algorithms
Programming Techniques.
Algorithm Analysis and Problem Complexity.
Artificial Intelligence (incl. Robotics)
Computer software
Computation by Abstract Devices.
Automatic theorem proving
Computer logic
Programming Languages, Compilers, Interpreters.
Computer science
Information and Communication, Circuits.
Artificial Intelligence.
Logic, Symbolic and mathematical
Computer Science.