Languages
Sebastiani, Roberto.
Overview
| Works: | 9 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Frontiers of combining systems7th international symposium, FroCoS 2009, Trento, Italy, September 16-18, 2009 : proceedings /
by:
(1998 :); Ghilardi, Silvio.; Sebastiani, Roberto.; SpringerLink (Online service)
(Electronic resources)
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)
(Electronic resources)
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)
(Electronic resources)
Subjects
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.