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