Etiqueta de registo: 00000nx a2200025 45
001 1332624
003 http://id.bnportugal.gov.pt/aut/catbnp/1332624
100 ## $a20080704apory0103 ba0
152 ## $aRPC
200 #1 $aGarapa,$bMarco Paulo Ferreirinha,$f1976-
801 #0 $aPT$bBN
810 ## $aLógica modal etiquetada em Isabelle
830 ## $aDoutoramento Mathematics (Logic and Computer Science). Mestrado em Matemática
ver registos bibliográficos associados