Título: The second Venn diagrammatic systemAutor: Jorge Petrúcio VianaAno: 2014Revista: Lecture Notes in Computer ScienceISSN: 03029743Tags: Reasoning with diagramsVenn diagramsCompletenessIdioma: Inglês
