Dynamic Logic. New Trends and Applications Livro

• http://dx.doi.org/10.1007/978-3-030-38808-9

•  
• Visão geral
•  
• Pesquisas
•  
• Identidade
•  
• Ver Todos
•  

Visão geral

autores

• Barbosa, L.S.

data de publicação

• 2020

tem uma área de assunto

• Ciências Exatas - Ciências da Computação e da Informação

Pesquisas

palavras-chave

• Program calculi
• logic

Identidade

Digital Object Identifier (DOI)

• https://doi.org/10.1007/978-3-030-38808-9