Symbolic and Quantitative Approaches to Reasoning with Uncertainty 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings - Sossai, Claudio; Chemello, Gaetano; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Computer science; Coding theory; Information theory; Logic design; Artificial intelligence; Computer Science; Artificial Intelligence (incl. Robotics).; Mathematics of Computing; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Coding and Information Theory; Theory of Computation