Zobrazeno 1 - 6
of 6
pro vyhledávání: '"Engenharia elética"'
Autor:
Rocha, Junia Magalhães
Publikováno v:
Repositório Institucional da UFU
Universidade Federal de Uberlândia (UFU)
instacron:UFU
Universidade Federal de Uberlândia (UFU)
instacron:UFU
X This thesis proposes the implementation of a theorem prover using a functional programing language. The implementation was based on the Warren Abstract Machine (WAM). The objective behind implementing the WAM is to achieve robustness and while runn
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______3056::ce9333275d3f192e61905d1049282b19
https://repositorio.ufu.br/handle/123456789/20991
https://repositorio.ufu.br/handle/123456789/20991
Autor:
Borrego, Adriano1 a.borrego@gmail.com, Eduardo Guelfi, Adilson2 guelfi@unoeste.br, Alves da Silva, Anderson Aparecido3 anderson.silva@pad.lsi.usp.br, Teixeira de Azevedo, Marcelo4 marcelo.azevedo@pad.lsi.usp.br, Ferraz Jr, Norisvaldo4 norisjunior@gmail.com, Takeo Kofuji, Sergio4 kofuji@usp.br
Publikováno v:
Colloquium Exactarum. 2020, Vol. 12 Issue 2, p45-61. 17p.
Autor:
Celestino, Eduardo Henrique1 eduardo.celestino@usp.br, Backx Noronha, Adriana2 backx@usp.br
Publikováno v:
Administração: Ensino e Pesquisa. jan-abr2021, Vol. 22 Issue 1, p33-67. 35p.
Publikováno v:
Journal of Interdisciplinary Debates. 2023, Vol. 4 Issue 1, p22-46. 25p.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Conference
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.