Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Ramos, Marcus Vinicius Midena"'
Proof assistants are software-based tools that are used in the mechanization of proof construction and validation in mathematics and computer science, and also in certified program development. Different tools are being increasingly used in order to
Externí odkaz:
http://arxiv.org/abs/1505.00061
Publikováno v:
Repositório Institucional da UFPEUniversidade Federal de PernambucoUFPE.
Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-08-08T13:11:15Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) tese.pdf: 4855618 bytes, checksum: 717d268b142705bdc8ce106731a
Externí odkaz:
https://repositorio.ufpe.br/handle/123456789/17642
