A Tool for Analysing Logics
| Autor: | Veloso, Sheila R.M., Veloso, Paulo A.S., Veloso, Paula M. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 22 April 2011 269:125-137 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Veloso, Sheila R.M., Veloso, Paulo A.S., Veloso, Paula M. |
|---|---|
| Zdroj: | In Electronic Notes in Theoretical Computer Science 22 April 2011 269:125-137 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect