skip to main content
Idioma:

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

Ordenado por: Ordenado por: RelevânciaOr hit Enter to replace sort method
Resultados 1 2 next page
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
1
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)

2
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)

3
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)

4
Arguments in favor of a controlled plurality of office formating standards
Arguments in favor of a controlled plurality of office formating standards
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Arguments in favor of a controlled plurality of office formating standards

Flávio Soares Corrêa da Silva

São Paulo IME-USP 2007

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

5
Knowledge sharing between a probabilistuc logic and Bayesian belief network
Knowledge sharing between a probabilistuc logic and Bayesian belief network
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

Knowledge sharing between a probabilistuc logic and Bayesian belief network

Flávio Soares Corrêa da Silva Jaume Agustí; Roberto Cássio de Araujo; Ana Cristina Vieira de Melo

São Paulo IME-USP 1999

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

6
A lightweight capability communication mechanism
A lightweight capability communication mechanism
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A lightweight capability communication mechanism

David Robertson Flávio Soares Corrêa da Silva; Jaume Agustí; Wamberto Weber Miranda Peixoto de Vasconcelos

São Paulo IME-USP 1999

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

7
A Lightweight capability communication mechanism
A Lightweight capability communication mechanism
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A Lightweight capability communication mechanism

David Robertson Flávio Soares Corrêa da Silva; Jaume Agustí; Wamberto Weber Miranda Peixoto de Vasconcelos

São Paulo IME-USP 1999

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

8
A formal model for the fifth discipline
A formal model for the fifth discipline
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A formal model for the fifth discipline

Lourival Paulino da Silva Flávio Soares Corrêa da Silva

São Paulo IME-USP 2003

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

9
A formal model for the fifth discipline
A formal model for the fifth discipline
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A formal model for the fifth discipline

Lourival Paulino da Silva Flávio Soares Corrêa da Silva

São Paulo IME-USP 2003

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

10
A formal semantics for the JamSession coordination platform
A formal semantics for the JamSession coordination platform
Material Type:
Relatório Técnico 		Adicionar ao Meu Espaço

A formal semantics for the JamSession coordination platform

Mirtha Lina Fernández Venero Flávio Soares Corrêa da Silva

São Paulo IME-USP 2012

Localização: IME - Inst. Matemática e Estatística    (RT-MAC 2012 v.5 )(Acessar)

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

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

Personalize Seus Resultados

  1. Editar

Refine Search Results

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

Buscando em bases de dados remotas. Favor aguardar.