área de pesquisa Arthur Ronald de Vallauris Buchsbaum Induction and Plausibility: A Formal Approach from the Viewpoint of Artificial Intelligence Joao Fernando Lima Alcântara Refinamentos para o método dos tableaux / Thiago Alves Rocha
