Non-Standard Logics for Automated Reasoningde Philippe SmetsMateriasSymbolic and mathematical LogicLogic, symbolic and mathematicalInformation networksEdiciones (1)Non-standard logics for automated reasoning (1988)Academic Press · inglésMás obras de Philippe SmetsHHandbook of Defeasible Reasoning and Uncertainty Management Handbook of Defeasible Reasoning and Uncertainty Management SystemsAAbductive Reasoning and LearningAbductive Reasoning and LearningQQuantified Representation of Uncertainty and Imprecision
HHandbook of Defeasible Reasoning and Uncertainty Management Handbook of Defeasible Reasoning and Uncertainty Management Systems
