Novas t?cnicas de instancia??o e produ??o de demonstra??es para a resolu??o SMT

Novas t?cnicas de instancia??o e produ??o de demonstra??es para a resolu??o SMT

Submitted by Automa??o e Estat?stica (sst@bczm.ufrn.br) on 2017-12-12T17:57:13Z No. of bitstreams: 1 HanielMoreiraBarbosa_TESE.pdf: 2203436 bytes, checksum: 38477e5641001f5d9fdcb2ab0ac16855 (MD5) === Approved for entry into archive by Arlan Eloi Leite Silva (eloihistoriador@yahoo.com.br) on 2017-1...

Full description

Bibliographic Details
Main Author: Barbosa, Haniel Moreira
Other Authors: 00809085437
Language:Portuguese
Published: PROGRAMA DE P?S-GRADUA??O EM SISTEMAS E COMPUTA??O 2017
Subjects:
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Instancia??o de quantificadores
Produ??o de demonstra??es
Automatiza??o de demonstra??es
Resolu??o SMT
Verifica??o forma
Online Access:https://repositorio.ufrn.br/jspui/handle/123456789/24497

Internet

https://repositorio.ufrn.br/jspui/handle/123456789/24497

Similar Items