Výsledky vyhledávání - "Engenharia elética"

The implementation of a theorem prover in functional language and the use of the Rasch Model combined with Condorcet-List Theorem

Autor: Rocha, Junia Magalhães

Publikováno v: Repositório Institucional da 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

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání