Mudanças entre as edições de "LIAMF"
Ir para navegação
Ir para pesquisar
(Apaguei os artigos dos professores e coloquei os links externos qui mesmo) |
m |
||
| Linha 7: | Linha 7: | ||
* [http://www.ime.usp.br/~fcs/ Flávio Soares Corrêa da Silva] | * [http://www.ime.usp.br/~fcs/ Flávio Soares Corrêa da Silva] | ||
| + | == Ver também == | ||
| + | |||
| + | * [[Instituto de Matemática e Estatística]] | ||
| + | * [[Inteligência Artificial]] | ||
== Links == | == Links == | ||
Edição atual tal como às 16h22min de 24 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
