Mudanças entre as edições de "LIAMF"
Ir para navegação
Ir para pesquisar
m |
|||
| Linha 12: | Linha 12: | ||
* [http://www.ime.usp.br/~liamf/ Página do LIAMF] | * [http://www.ime.usp.br/~liamf/ Página do LIAMF] | ||
* [http://www.ime.usp.br/~liamf/seminarios Seminários do LIAMF] | * [http://www.ime.usp.br/~liamf/seminarios Seminários do LIAMF] | ||
| + | |||
| + | [[Categoria: Grupos de pesquisa]] | ||
Edição das 23h02min de 19 de agosto 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
