autores
- Barbosa, L. S.
- Marta Carvalho Afonso Carreteiro
- Martins, MA
- Barbosa, L. S.
- Carreteiro, M
A Hilbert-Style Axiomatisation for Equational Hybrid Logic
Artigo Académico
- Visão geral
- Pesquisas
- Identidade
- Informação adicional documento
- Ver Todos