Propositional Update Operators based on Formula Literal Dependence ANDREAS HERZIG IRIT-CNRS, Toulouse JEROME LANG LAMSADE-CNRS, Paris - Jerome - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2014-04-24 06:08:59		Propositional Update Operators based on Formula/Literal Dependence ANDREAS HERZIG IRIT-CNRS, Toulouse JEROME LANG LAMSADE-CNRS, Paris Add to Reading List Source URL: www.lamsade.dauphine.fr Download Document from Source Website File Size: 318,94 KB Share Document on Facebook