skip to main content
Idioma:
previous page 1 Resultados 2 3 4 5 next page
Mostrar Somente
Refinado por: autor: Silva, F remover tipo de recurso: Produções Técnicas remover
Result Number Material Type Add to My Shelf Action Record Details and Options
11
Jam session - knowledge-based interaction protocols for intelligent interactive environments
Jam session - knowledge-based interaction protocols for intelligent interactive environments
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Jam session - knowledge-based interaction protocols for intelligent interactive environments

Flávio Soares Corrêa da Silva

São Paulo IME-USP 2010

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2010 v. 2 ) e outros locais(Acessar)

12
Automated reasoning with uncertainties
Automated reasoning with uncertainties
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Automated reasoning with uncertainties

Flávio Soares Corrêa da Silva

São Paulo IME-USP 1993

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1993 v.2 e.1 ) e outros locais(Acessar)

13
Where am I? Where are you?
Where am I? Where are you?
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Where am I? Where are you?

Flávio Soares Corrêa da Silva

São Paulo IME-USP 2005

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2005 v.03 e.1 ) e outros locais(Acessar)

14
Towards a logic of perishable propositions
Towards a logic of perishable propositions
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Towards a logic of perishable propositions

Flávio Soares Corrêa da Silva

São Paulo IME-USP 2001

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 2001 v.12 e.1 ) e outros locais(Acessar)

15
Ferramentas e diretrizes para a gestão da logística no processo de produção de edifícios
Ferramentas e diretrizes para a gestão da logística no processo de produção de edifícios
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Ferramentas e diretrizes para a gestão da logística no processo de produção de edifícios

Fred Borges da Silva Francisco Ferreira Cardoso 1957-

São Paulo EPUSP 2000

Item não circula. Consulte sua biblioteca.(Acessar)

16
Towards efficient modelling of distributed knowledge using equational and order-sorted logic
Towards efficient modelling of distributed knowledge using equational and order-sorted logic
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Towards efficient modelling of distributed knowledge using equational and order-sorted logic

Renata Wassermann Flávio Soares Corrêa da Silva

São Paulo IME-USP 1994

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1994 v.11 e.1 ) e outros locais(Acessar)

17
Facts, anotations, arguments and reasoning
Facts, anotations, arguments and reasoning
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Facts, anotations, arguments and reasoning

Daniela Vasconcelos Carbogim Flávio Soares Corrêa da Silva

São Paulo IME-USP 1996

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1996 v.01 e.1 ) e outros locais(Acessar)

18
A two-sorted interpretation for annotated logic
A two-sorted interpretation for annotated logic
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A two-sorted interpretation for annotated logic

Flávio Soares Corrêa da Silva Daniela Vasconcelos Carbogim

São Paulo IME-USP 1998

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1998 v.01 e.1 ) e outros locais(Acessar)

19
A system for reasoning with fuzzy predicates
A system for reasoning with fuzzy predicates
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A system for reasoning with fuzzy predicates

Flávio Soares Corrêa da Silva Daniela Vasconcelos Carbogim

São Paulo IME-USP 1994

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1994 v.13 e.1 ) e outros locais(Acessar)

20
Categorical grammar and harmonic analysis
Categorical grammar and harmonic analysis
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Categorical grammar and harmonic analysis

Flávio Soares Corrêa da Silva Fábio Kon 1969-

São Paulo IME-USP 1995

Localização: IME - Inst. Matemática e Estatística    (IME-RT-C QA700.RT I59c 1995 v.05 e.1 ) e outros locais(Acessar)

previous page 1 Resultados 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Recursos Online (1)
  2. Disponível na Biblioteca (47)

Refinar Meus Resultados

Tipo de Recurso 

  1. Produções Acadêmicas  (1)
  2. Artigos  (1)
  3. Livros  (1)
  4. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1996  (17)
  2. 1996Até2000  (13)
  3. 2001Até2009  (10)
  4. 2010Até2015  (10)
  5. Após 2015  (13)
  6. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.