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...
Main Author: | |
---|---|
Other Authors: | |
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 |