TY - BOOK AU - Lluis Godo TI - Symbolic and Quantitative Approaches to Reasoning with Uncertainty SN - 978-3-540-31888-0 PY - 2005/// KW - Mathematical Logic and Formal Languages KW - Computer Science UR - http://link.springer.com/openurl?genre=book&isbn=978-3-540-31888-0 ER -