skip to main content
Mostrar Somente
Refinado por: idioma: Alemão remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

Neue, einfache Algorithmen für Petrinetze

Finkel, Alain ; Leroux, Jérôme Leroux, Jérôme (Editor)

Informatik-Spektrum, June 2014, Vol.37(3), pp.229-236 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
2
Material Type:
Artigo
Adicionar ao Meu Espaço

Cluster expansion and the boxdot conjecture

Jeřábek, Emil

Mathematical Logic Quarterly 62 (2016), no. 6, pp. 608--614 [Periódico revisado por pares]

Texto completo disponível

3
Material Type:
Artigo
Adicionar ao Meu Espaço

A note on the substructural hierarchy

Jeřábek, Emil

Mathematical Logic Quarterly 62 (2016), no. 1--2, pp. 102--110 [Periódico revisado por pares]

Texto completo disponível

4
Material Type:
Artigo
Adicionar ao Meu Espaço

Narrow versus Wide Mechanism: Including a Re-Examination of Turing's Views on the Mind-Machine Issue

Copeland, B. Jack

The Journal of Philosophy, 1 January 2000, Vol.97(1), pp.5-32 [Periódico revisado por pares]

Texto completo disponível

Ver todas as versões
5
Material Type:
Artigo
Adicionar ao Meu Espaço

Variable-Threshold Threshold Elements

Meisel, W.S

IEEE Transactions on Computers, July 1968, Vol.C-17(7), pp.656-667 [Periódico revisado por pares]

Texto completo disponível

6
Automated Theorem Proving
Material Type:
Livro
Adicionar ao Meu Espaço

Automated Theorem Proving

Bibel, Wolfgang Springerlink (Online Service) (Corporate Author)

Artificial Intelligence / Künstliche Intelligenz

Wiesbaden: Vieweg+Teubner Verlag 1987

Texto completo disponível

7
Languages and Compilers for Parallel Computing: 10th International Workshop, LCPC'97 Minneapolis, Minnesota, USA, August 7–9, 1997 Proceedings
Material Type:
Livro
Adicionar ao Meu Espaço

Languages and Compilers for Parallel Computing: 10th International Workshop, LCPC'97 Minneapolis, Minnesota, USA, August 7–9, 1997 Proceedings

Li, Zhiyuan ; Yew, Pen-Chung ; Chatterjee, Siddharta ; Huang, Chua-Huang ; Sadayappan, P ; Sehr, David Springerlink (Online Service) (Corporate Author)

Lecture Notes in Computer Science,

Berlin, Heidelberg: Springer Berlin Heidelberg 1998

Texto completo disponível

8
Material Type:
Artigo
Adicionar ao Meu Espaço

Minimal Multiplexed Threshold Gate Realizations

Bargainer, J.D ; Coates, C.L

IEEE Transactions on Computers, June 1968, Vol.C-17(6), pp.566-578 [Periódico revisado por pares]

Texto completo disponível

9
Material Type:
Artigo
Adicionar ao Meu Espaço

Cellular Interconnection Arrays

Kautz, W.H ; Levitt, K.N ; Waksman, A

IEEE Transactions on Computers, May 1968, Vol.C-17(5), pp.443-451 [Periódico revisado por pares]

Texto completo disponível

10
Material Type:
Artigo
Adicionar ao Meu Espaço

A Glass Delay Line Content-Addressed Memory System

Rux, P.T

IEEE Transactions on Computers, June 1969, Vol.C-18(6), pp.512-520 [Periódico revisado por pares]

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (11)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (13)
  2. Livros  (3)
  3. Mais opções open sub menu

Data de Publicação 

De até
  1. Antes de1987  (7)
  2. 1987Até1997  (2)
  3. 1998Até2010  (2)
  4. 2011Até2014  (4)
  5. Após 2014  (1)
  6. Mais opções open sub menu

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Jeřábek, Emil
  2. Maurer, H.E.
  3. Coates, C.L.
  4. Leroux, Jérôme

Buscando em bases de dados remotas. Favor aguardar.