Uma automacao de logica temporal /
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | Portuguese |
| Published: |
Rio de Janeiro :
Universidad Federal do Rio de Janeiro,
1992.
|
| Subjects: |
Sistema de Bibliotecas de Universidad de Costa Rica
| Call Number: |
005.133 |
|---|---|
| Copy | Available |