Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo de Jornal
|
Windows nt e versatil e veio para ficarMaria Carolina Monard M C NicolettiSao Paulo p.4, 29 set. 1993 Folha de Sao Paulo. InformaticaSão Paulo 1993Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-858957 ) e outros locais(Acessar) |
|
2 |
Material Type: Relatório Técnico
|
Herbrand interpretation, model and least model within the framework of logic programmingM C Nicoletti Maria Carolina Monard 1941-São Carlos ICMSC-USP 1993Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-848273 ) e outros locais(Acessar) |
|
3 |
Material Type: Relatório Técnico
|
Learning horn clauses using the ilp systems golemM C Nicoletti Maria Carolina Monard 1941-São Carlos ICMSC-USP 1993Localização: ICMC - Inst. Ciên. Mat. Computação (NOTAS SCE N.4 N643l ) e outros locais(Acessar) |
|
4 |
Material Type: Relatório Técnico
|
Learning restricted horn clauses some considerations on the ij-determination conceptsM C Nicoletti Maria Carolina MonardSao Carlos Icmsc-Usp 1994Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-863845 ) e outros locais(Acessar) |
|
5 |
Material Type: Relatório Técnico
|
Inverting resolution plotkin's least general generalizationM C Nicoletti Maria Carolina Monard 1941-Sao Carlos Icmsc-Usp 1993Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-839460 ) e outros locais(Acessar) |
|
6 |
Material Type: Relatório Técnico
|
Metodo sintatico de prova de teoremas algoritmo de wangMaria Carolina Monard 1941- M C NicolettiSao Carlos Icmsc-Usp 1990Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-816336 ) e outros locais(Acessar) |
|
7 |
Material Type: Livro
|
Constructing the extensional representation of an intensional to main theory in inductive logic programmingMaria Carolina Monard M C NicolettiWainer, J; Carvalho, A Berlin : Springer, 1995 Lectures notes in computer sciences, 991 Advances in Artificial IntelligenceBerlin Springer 1995Localização: ICMC - Inst. Ciên. Mat. Computação (PROD-894546 ) e outros locais(Acessar) |
|
8 |
Material Type: Produção Artística
|
Ao voltar da rua, é imprescindível higienizar roupas e celulares [Entrevista a Simone Lemos]Maria Aparecida NicolettiRádio USP São Paulo : Jornal da USP 12 mai. 2020São Paulo Rádio USP 93,7 MHz 2020Item não circula. Consulte sua biblioteca.(Acessar) |
|
9 |
Material Type: Produção Artística
|
Higiene palavra-chave para quem precisa sair de casa [Entrevista a Simone Lemos]Maria Aparecida NicolettiRádio USP São Paulo : Jornal da USP 11 mai. 2020São Paulo Rádio USP 93,7 MHz 2020Item não circula. Consulte sua biblioteca.(Acessar) |
|
10 |
Material Type: Artigo
|
Farmácia universitária e a saúde do homemMaria Aparecida NicolettiFarmanews São Paulo : Universidade de São Paulo (USP), Faculdade de Ciências Farmacêuticas (FCF) v. 55, p. 18-19, 2020São Paulo 2020Acesso online |