José Francisco Creissac Freitas de Campos

Identification

Description level

Reference code

PT/FCT/FCT/DFA/001/0354/1033

Title

José Francisco Creissac Freitas de Campos

Holding entity

Fundação para a Ciência e a Tecnologia, I.P.

Initial date

1996-07-30

Final date

2000-09-25

Dimension and support / Extents

Papel A4

Content and structure

Scope and content

Contém o processo da Bolsa de Doutoramento (BD) com o n.º 9562/96 no âmbito do Programa PRAXIS XXI, atribuída a José Francisco Creissac Freitas de Campos para a realização de doutoramento em Ciências da Computação e da Informação no Department of Computer Science da University of York, no Reino Unido.Responsável pela formação: Michael D. Harrison. Foi elaborada uma tese com o título: "Automated deduction and usability reasoning".Inclui relatório de atividades e produção científica.

Access and use

Language of the material

por, eng

Comments

José Francisco Creissac Freitas de Campos

My list

Warning!