Logo do repositório

Álgebra Computacional (Associação Universidade Aberta | Faculdade de Ciências e Tecnologia da Universidade de Coimbra)

URI permanente para esta coleção:

http://hdl.handle.net/10400.2/15585

Navegar

Percorrer Álgebra Computacional (Associação Universidade Aberta | Faculdade de Ciências e Tecnologia da Universidade de Coimbra) por assunto "Automatic deduction"