Prova autom?tica de satisfatibilidade m?dulo teoria aplicada ao m?todo B

Made available in DSpace on 2014-12-17T15:47:48Z (GMT). No. of bitstreams: 1 ClaudiaFCKT.pdf: 525104 bytes, checksum: 174fb60f1cf9ebfc609d837f2787b6b1 (MD5) Previous issue date: 2007-07-27 === Este trabalho apresenta uma extens?o do provador haRVey destinada ? verifica??o de obriga??es de prova or...

Full description

Bibliographic Details
Main Author: Tavares, Cl?udia Fernanda Oliveira Kiermes
Other Authors: CPF:00809085437
Format: Others
Language:Portuguese
Published: Universidade Federal do Rio Grande do Norte 2014
Subjects:
Online Access:http://repositorio.ufrn.br:8080/jspui/handle/123456789/17984