APA Citation

(2015). Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença.

Chicago Style Citation

Um Provador De Teoremas Baseado Em Tableaux Para Verificação De Propriedades Temporais De Conhecimento Ou Crença. 2015.

MLA Citation

Um Provador De Teoremas Baseado Em Tableaux Para Verificação De Propriedades Temporais De Conhecimento Ou Crença. 2015.

Note: citation formatting may not correspond 100% to that defined by the respective standard, to manage citations it is recommended to use the software Zotero , which allows the automatic upload of Oasisbr references.