skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples

Resultados de 1 a 10 de 32  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Windows nt e versatil e veio para ficar
Windows nt e versatil e veio para ficar
Material Type:
Artigo de Jornal 		Adicionar ao Meu Espaço

Windows nt e versatil e veio para ficar

Maria Carolina Monard M C Nicoletti

Sao Paulo p.4, 29 set. 1993 Folha de Sao Paulo. Informatica

São Paulo 1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-858957 ) e outros locais(Acessar)

2
Herbrand interpretation, model and least model within the framework of logic programming
Herbrand interpretation, model and least model within the framework of logic programming
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Herbrand interpretation, model and least model within the framework of logic programming

M C Nicoletti Maria Carolina Monard 1941-

São Carlos ICMSC-USP 1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-848273 ) e outros locais(Acessar)

3
Learning horn clauses using the ilp systems golem
Learning horn clauses using the ilp systems golem
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Learning horn clauses using the ilp systems golem

M C Nicoletti Maria Carolina Monard 1941-

São Carlos ICMSC-USP 1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (NOTAS SCE N.4 N643l ) e outros locais(Acessar)

4
Learning restricted horn clauses some considerations on the ij-determination concepts
Learning restricted horn clauses some considerations on the ij-determination concepts
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Learning restricted horn clauses some considerations on the ij-determination concepts

M C Nicoletti Maria Carolina Monard

Sao Carlos Icmsc-Usp 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-863845 ) e outros locais(Acessar)

5
Inverting resolution plotkin's least general generalization
Inverting resolution plotkin's least general generalization
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Inverting resolution plotkin's least general generalization

M C Nicoletti Maria Carolina Monard 1941-

Sao Carlos Icmsc-Usp 1993

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-839460 ) e outros locais(Acessar)

6
Metodo sintatico de prova de teoremas algoritmo de wang
Metodo sintatico de prova de teoremas algoritmo de wang
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Metodo sintatico de prova de teoremas algoritmo de wang

Maria Carolina Monard 1941- M C Nicoletti

Sao Carlos Icmsc-Usp 1990

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-816336 ) e outros locais(Acessar)

7
Constructing the extensional representation of an intensional to main theory in inductive logic programming
Constructing the extensional representation of an intensional to main theory in inductive logic programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Constructing the extensional representation of an intensional to main theory in inductive logic programming

Maria Carolina Monard M C Nicoletti

Wainer, J; Carvalho, A Berlin : Springer, 1995 Lectures notes in computer sciences, 991 Advances in Artificial Intelligence

Berlin Springer 1995

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-894546 ) e outros locais(Acessar)

8
Calculo proposicional uma abordagem voltada a compreensao da linguagem prolog versao 1.0
Calculo proposicional uma abordagem voltada a compreensao da linguagem prolog versao 1.0
Material Type:
Livro 		Adicionar ao Meu Espaço

Calculo proposicional uma abordagem voltada a compreensao da linguagem prolog versao 1.0

Maria Carolina Monard M C Nicoletti; R H Noguchi

Sao Carlos Icmsc-Usp 1992

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-835128 ) e outros locais(Acessar)

9
Inducing logic programs writh the learning system golem
Inducing logic programs writh the learning system golem
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Inducing logic programs writh the learning system golem

M C Nicoletti Maria Carolina Monard 1941-; Congreso Y Exposicion International de Informatica (2. 1994 Mendonza)

Informatica'94 Mendonza : Excelencia, 1994

Mendonza Excelencia 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-863859 ) e outros locais(Acessar)

10
Perspective of brazilian women in computer science academia
Perspective of brazilian women in computer science academia
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Perspective of brazilian women in computer science academia

Maria Carolina Monard 1941- M C Nicoletti; Conference on Women Work and Computarization (5. 1994 Manchester)

Conference on Women Work and Computarization, 5 1994

Manchester 1994

Localização: ICMC - Inst. Ciên. Mat. Computação    (PROD-874583 ) e outros locais(Acessar)

Resultados de 1 a 10 de 32  para Produção Intelectual da USP

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (19)
  2. Produções Técnicas  (9)
  3. Livros  (5)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1991  (2)
  2. 1991Até1992  (8)
  3. 1993Até1994  (14)
  4. 1995Até2012  (7)
  5. Após 2012  (1)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (18)
  2. Português  (14)
  3. Mais opções open sub menu

  • Realização: ABCD-USP USP   Logos de Redes Sociais: Freepik

Buscando em bases de dados remotas. Favor aguardar.