Search results
You search for caracterizaã§ã£o and 41,440 records were found.
Descrição baseada em: Ano 1, nº 10 (Jul. 2000)
Descrição baseada em: Ano 131, nº 102 (13 Abr. 1999)
Tese de doutoramento em Engenharia Informática, Universidade de Aveiro, 2005
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Proveniente do fundo do ex-CDE existente no IPCB
Descrição baseada em: Ano 75, nº 10 (Maio 2010)
Contém: Language, proof and logic:software manual / Dave Barker... [et al.]. 2nd ed. Standford; CSLI, cop. 2015. VIII, 61 p.