Introducao a logica modal aplicada a computacao/Marcos M. do Carmo Costa.
Trabalho apresentado na Escola de Informatica (8.: 1992, ago. 3-12: Gramado, RS)
| Main Author: | Costa, Marcos Mota Do Carmo |
|---|---|
| Format: | Livro |
| Language: | por |
| Published: |
Porto Alegre:Instituto de Informatica da UFGRS,
2018
|
| Subjects: | |
| Online Access: |
http://www.redebim.dphdm.mar.mil.br/pergamum/biblioteca/index.php?codAcervo=52643 http://repositorio.mar.mil.br/handle/ripcmb/618699 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|