Formalization of Ring Theory in PVS Documento

• http://dx.doi.org/10.1007/s10817-021-09593-0
• http://https://link.springer.com/article/10.1007/s10817-021-09593-0

•  
• Visão geral
•  
• Identidade
•  
• Informação adicional documento
•  
• Outro
•  
• Ver todos
•  

Visão geral

tipo

• journal article

autores

• André Luiz Galdino
• Maurício Ayala Rincon
• Thaynara Arielly de Lima

data de publicação

• 2021-01-01

publicada em

• JOURNAL OF AUTOMATED REASONING (DORDRECHT. ONLINE) 

Identidade

identificador BrCris

• 545bb7d964d6db377c5a7dc73bd007dc

Informação adicional documento

Página Inicial

• 1231

página final

• 1263

Volume

• 65

Outro

tem linguagem

• Português