Languages
Sebastiani, Roberto.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
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:)
(Electronic resources)
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:)
(Electronic resources)
Subjects
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.