Loading...
Please wait, while we are loading the content...
Similar Documents
Um provador de teoremas baseado em tableaux para verificação de propriedades temporais de conhecimento ou crença
| Content Provider | Semantic Scholar |
|---|---|
| Author | Vieira, Thiago Coelho |
| Copyright Year | 2015 |
| Abstract | Dissertacao (mestrado)—Universidade de Brasilia, Instituto de Ciencias Exatas, Departamento de Ciencia da Computacao, Mestrado em Informatica, 2015. |
| File Format | PDF HTM / HTML |
| DOI | 10.26512/2015.01.D.17951 |
| Alternate Webpage(s) | http://repositorio.unb.br/bitstream/10482/17951/1/2015_ThiagoCoelhoVieira.pdf |
| Alternate Webpage(s) | https://doi.org/10.26512/2015.01.D.17951 |
| Language | English |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |