Mudanças entre as edições de "LIAMF"
Ir para navegação
Ir para pesquisar
m |
(Apaguei os artigos dos professores e coloquei os links externos qui mesmo) |
||
Linha 1: | Linha 1: | ||
Grupo de [[Lógica]], [[Inteligência Artificial]] e [[Métodos Formais]] do [[IME]]. O Grupo é formado atualmente por cinco professores: | Grupo de [[Lógica]], [[Inteligência Artificial]] e [[Métodos Formais]] do [[IME]]. O Grupo é formado atualmente por cinco professores: | ||
− | * [ | + | * [http://www.ime.usp.br/~mfinger Marcelo Finger] |
* [[Renata Wassermann]] | * [[Renata Wassermann]] | ||
− | * [ | + | * [http://www.ime.usp.br/~leliane/ Leliane Nunes de Barros] |
− | * | + | * Ana Cristina Vieira de Melo |
− | * [ | + | * [http://www.ime.usp.br/~fcs/ Flávio Soares Corrêa da Silva] |
Edição das 17h11min de 11 de setembro de 2006
Grupo de Lógica, Inteligência Artificial e Métodos Formais do IME. O Grupo é formado atualmente por cinco professores:
- Marcelo Finger
- Renata Wassermann
- Leliane Nunes de Barros
- Ana Cristina Vieira de Melo
- Flávio Soares Corrêa da Silva