Mudanças entre as edições de "LIAMF"
Ir para navegação
Ir para pesquisar
m |
|||
| (2 revisões intermediárias por 2 usuários não estão sendo mostradas) | |||
| 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] |
| + | == Ver também == | ||
| + | |||
| + | * [[Instituto de Matemática e Estatística]] | ||
| + | * [[Inteligência Artificial]] | ||
== Links == | == Links == | ||
| Linha 12: | Linha 16: | ||
* [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 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
