ListarFacultad de Informática por tema "Automated reasoning"

ListarFacultad de Informática por tema "Automated reasoning"

Ordenar por:Orden:Resultados:

  • crowd: A Tool for Conceptual Modelling assisted by Automated Reasoning - Preliminary Report 
    Gimenez, Christian; Braun, Germán; Cecchi, Laura; Fillottrani, Pablo (Sociedad Argentina de Informática e Investigación Operativa, )
    There is an increment on the complexity of the information systems derived from new paradigms, for example Semantic Web, Big Data, e-government, etc. which require high quality solutions to tackle complex problems such as ...