skip to main content
Idioma:
Mostrar Somente
Refinado por: Nome da Publicação: Proceedings remover Finger, M remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Classical and quantum satisfiability
Classical and quantum satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Classical and quantum satisfiability

Anderson de Araújo Marcelo Finger; Workshop on Logical and Semantic Frameworks with Applications - EPTCS (6. 2012 Belo Horizonte)

Proceedings Sydney : EPTCS, 2012

Sydney EPTCS 2012

Acesso online. A biblioteca também possui exemplares impressos.

2
Entailment multipliers an algebraic characterization of validity for classical and modal logics
Entailment multipliers an algebraic characterization of validity for classical and modal logics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Entailment multipliers an algebraic characterization of validity for classical and modal logics

Marcelo Finger Maruricio S. C Hernandes; International Workshop on Logic, Language, Information, and Computation - WoLLIC (2010 Brasília)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-2176241 ) e outros locais(Acessar)

3
Polynomial approximations of full propositional logic via limited bivalence
Polynomial approximations of full propositional logic via limited bivalence
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Polynomial approximations of full propositional logic via limited bivalence

Marcelo Finger European Workshop on Logics in Artificial Intelligence - JELIA (9. 2004 Lisbon)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

Localização: IME - Inst. Matemática e Estatística    (PROD-1412250 ) e outros locais(Acessar)

4
Towards polynomial approximations of full propositional logic
Towards polynomial approximations of full propositional logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Towards polynomial approximations of full propositional logic

Marcelo Finger Brazilian Symposium on Artificial Intelligence - SBIA (17. 2004 São Luis, MA)

Proceedings Berlin : Springer, 2004

Berlin Springer 2004

Localização: IME - Inst. Matemática e Estatística    (PROD-1412242 ) e outros locais(Acessar)

5
A refuted conjecture on probabilistic satisfiability
A refuted conjecture on probabilistic satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A refuted conjecture on probabilistic satisfiability

Marcelo Finger Glauber De Bona 1984-; Brazilian Symposium on Artificial Intelligence - SBIA (20. 2010 São Bernardo do Campo)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-2190220 )(Acessar)

6
Revising specifications with CTL properties using bounded model checking
Revising specifications with CTL properties using bounded model checking
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Revising specifications with CTL properties using bounded model checking

Marcelo Finger Renata Wassermann; Brazilian Symposium on Artificial Intelligence - SBIA (19. 2008 Savador, BR)

Proceedings Berlin : Springer, 2008

Berlin Springer 2008

Localização: IME - Inst. Matemática e Estatística    (PROD-3009088 )(Acessar)

7
Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic
Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Probably half true probabilistic satisfiability over Łukasiewicz infinitely-valued logic

Marcelo Finger Sandro Preto; International Joint Conference on Automated Reasoning - IJCAR (9. 2018 Oxford, UK)

Proceedings Cham: Springer, 2018

Cham Springer 2018

Localização: IME - Inst. Matemática e Estatística    (PROD-2896586 )(Acessar)

8
Computational solutions for structural constraints learning structural permissions in categorial grammar
Computational solutions for structural constraints learning structural permissions in categorial grammar
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Computational solutions for structural constraints learning structural permissions in categorial grammar

Marcelo Finger International Conference on Logical Aspects of Computational Linguistics - LACL (3. 1998 Grenoble, France)

Proceedings Berlin : Springer, 1998

Berlin Springer 1998

Localização: IME - Inst. Matemática e Estatística    (PROD-3009565 )(Acessar)

9
A logic based algorithm for solving probabilistic satisfiability
A logic based algorithm for solving probabilistic satisfiability
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

A logic based algorithm for solving probabilistic satisfiability

Marcelo Finger Glauber De Bona 1984-; Ibero-American Conference on Artificial Intelligence - IBERAMIA (12. 2010 Bahía Blanca, Argentina)

Proceedings Berlin : Springer, 2010

Berlin Springer 2010

Localização: IME - Inst. Matemática e Estatística    (PROD-3009310 )(Acessar)

10
Sharing resource-sensitive knowledge using combinator logics
Sharing resource-sensitive knowledge using combinator logics
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Sharing resource-sensitive knowledge using combinator logics

Marcelo Finger Wamberto Vasconcelos; Ibero-American Conference on Artificial Intelligence - IBERAMIA (7. 2000 Atibaia, SP); Brazilian Symposium on Artificial Intelligence - SBIA (15. 2000 Atibaia, SP)

Proceedings Berlin : Springer, 2000

Berlin Springer 2000

Localização: IME - Inst. Matemática e Estatística    (PROD-2950311 )(Acessar)

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

  1. Recursos Online (1)

Data de Publicação 

De até
Refinar
  1. Antes de2002  (2)
  2. 2002Até2005  (3)
  3. 2006Até2009  (3)
  4. 2010Até2018  (5)
  5. Após 2018  (2)
  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.