skip to main content
Idioma:
Resultados 1 2 3 4 next page
Mostrar Somente
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logic machines and diagrams
Material Type:
Livro 		Adicionar ao Meu Espaço

Logic machines and diagrams

Martin Gardner 1914-2010

New York McGraw-Hill 1958

Localização: EPBC - Esc. Politécnica-Bib Central    (164 G175L ) e outros locais(Acessar)

2
Máquinas lógicas y diagramas
Material Type:
Livro 		Adicionar ao Meu Espaço

Máquinas lógicas y diagramas

Martin Gardner 1914-2010 Eli de Gortari 1918-

México Editorial Grijalbo 1973

Localização: FAU - Fac. Arquitetura e Urbanismo    (160 G175m )(Acessar)

3
Set containment and cube expansion with binary decision diagrams for logic synthesis
Set containment and cube expansion with binary decision diagrams for logic synthesis
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Set containment and cube expansion with binary decision diagrams for logic synthesis

Jiang Chau Wang 1958- Seminario Integrado de Software e Hardware (23. 1993 Florianopolis)

Anais Florianopolis : Sbc, 1993

Florianopolis Sbc 1993

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

4
The iconic logic of Peirce's graphs
The iconic logic of Peirce's graphs
Material Type:
Livro 		Adicionar ao Meu Espaço

The iconic logic of Peirce's graphs

Sun-Joo Shin

Cambridge, Mass MIT Press 2002

Localização: FFLCH - Fac. Fil. Let. e Ciências Humanas    (191 P378s )(Acessar)

5
Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging
Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging
Material Type:
Artigo de Congresso 		Adicionar ao Meu Espaço

Learning probabilistic sentential decision diagrams under logic constraints by sampling and averaging

Renato Lui Geh Denis Deratani Mauá; Conference on Uncertainty in Artificial Intelligence - UAI (37. 2021 Virtual event)

Proceedings of Machine Learning Research : PMLR Brookline v. 161, p. 2039-2049, 2021

Brookline 2021

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

6
Conceptual structures fulfilling Peirce's dream : Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997 : proceedings
Conceptual structures fulfilling Peirce's dream : Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conceptual structures fulfilling Peirce's dream : Fifth International Conference on Conceptual Structures, ICCS '97, Seattle, Washington, USA, August 3-8, 1997 : proceedings

International Conference on Conceptual Structures (5th 1997 Seattle, Wash.) Dickson Lukose; G Carbonell; J Siekmann

Berlin Springer New York c1997

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1257 ) e outros locais(Acessar)

7
Conceputal structures theory, tools, and applications : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 1998 : proceedings
Conceputal structures theory, tools, and applications : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 1998 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conceputal structures theory, tools, and applications : 6th International Conference on Conceptual Structures, ICCS'98, Montpellier, France, August 1998 : proceedings

International Conference on Conceptual Structures (6th 1998 Montpellier, France) Marie-Laure Mugnier; Michel Chein

Berlin Springer London c1998

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1453 ) e outros locais(Acessar)

8
Conceptual structures standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999 : proceedings
Conceptual structures standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conceptual structures standards and practices : 7th International Conference on Conceptual Structures, ICCS'99, Blacksburg, VA, USA, July 12-15, 1999 : proceedings

International Conference on Conceptual Structures (7th 1999 Blacksburg, Va.) William M Tepfenhart; Walling Cyre

Carbonell, G., ed.; Siekmann, J., ed Lecture notes in artificial intelligence Berlin, Springer-Verlag, c1994-

Berlin Springer New York 1999

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1640 ) e outros locais(Acessar)

9
Conceptual structures logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings
Conceptual structures logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conceptual structures logical, linguistic, and computational issues : 8th International Conference on Conceptual Structures, ICCS 2000, Darmstadt, Germany, August 2000 : proceedings

International Conference on Conceptual Structures (8th 2000 Darmstadt, Germany) Bernhard Ganter; Guy W Mineau

Berlin Springer New York c2000

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.1867 ) e outros locais(Acessar)

10
Conceptual structures broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
Conceptual structures broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Conceptual structures broadening the base : 9th International Conference on Conceptual Structures, ICCS 2001, Stanford, CA, USA, July 30-August 3, 2001 : proceedings

International Conference on Conceptual Structures (9th 2001 Stanford, Calif.) Harry S Delugach 1953-; Gerd Stumme 1967-

Berlin Springer New York c2001

Localização: ICMC - Inst. Ciên. Mat. Computação    (68-02 LNAI v.2120 ) e outros locais(Acessar)

Resultados 1 2 3 4 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Mostrar Somente

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

Refinar Meus Resultados

Tipo de Recurso 

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

Data de Publicação 

De até
Refinar
  1. Antes de1993  (4)
  2. 1993Até1996  (7)
  3. 1997Até2000  (6)
  4. 2001Até2005  (9)
  5. Após 2005  (8)
  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.