skip to main content
Idioma:

Quantomatic: A Proof Assistant for Diagrammatic Reasoning

Kissinger, Aleks ; Zamdzhiev, Vladimir

Automated Deduction - CADE-25, p.326-336 [Periódico revisado por pares]

Cham: Springer International Publishing

Texto completo disponível

Citações Citado por

Identifique-se para postar sua resenha

Identifique-se para adicionar novas tags

Voltar para lista de resultados

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.