skip to main content
Idioma:
Primo Advanced Search
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search Query Term
Primo Advanced Search prefilters
Busca Simples
Resultados 1 2 3 4 5 next page
Mostrar Somente
Refinado por: data de publicação: Antes de1960 remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Functional and Logic Programming: 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings

Kameyama, Yukiyoshi ; Stuckey, Peter J

Springer 1900

Texto completo disponível

Citações Citado por
2
Declarative agent languages and technologies: first international workshop, DALT 2003 Melbourne, Australia July 15, 2003 : revised selected and invited papers
Declarative agent languages and technologies: first international workshop, DALT 2003 Melbourne, Australia July 15, 2003 : revised selected and invited papers
Material Type:
Livro 		Adicionar ao Meu Espaço

Declarative agent languages and technologies: first international workshop, DALT 2003 Melbourne, Australia July 15, 2003 : revised selected and invited papers

Leite, Joao ; Omicini, Andrea ; Sterling, Leon ; Torroni, Paolo

Springer 1900

Texto completo disponível

Citações Citado por
3
Foundations of Logic Programming
Foundations of Logic Programming
Material Type:
Livro 		Adicionar ao Meu Espaço

Foundations of Logic Programming

Encarnaçáo, J ; Loveland, D. W ; Bolc, L

Berlin/Heidelberg: Springer Berlin / Heidelberg 1955

Texto completo disponível

Citações Citado por
4
Great ideas of modern mathematics, their nature and use
Great ideas of modern mathematics, their nature and use
Material Type:
Livro 		Adicionar ao Meu Espaço

Great ideas of modern mathematics, their nature and use

Jagjit Singh

New York (State): Dover Publications 1959

Texto completo disponível

Citações Citado por
5
The logic theory machine--A complex information processing system
The logic theory machine--A complex information processing system
Material Type:
Artigo 		Adicionar ao Meu Espaço

The logic theory machine--A complex information processing system

Newell, A. ; Simon, H.

I.R.E. transactions on information theory, 1956-09, Vol.2 (3), p.61-79 [Periódico revisado por pares]

The Institute of Radio Engineers, Inc

Texto completo disponível

Citações Citado por
6
Automatic implementation of computer logic
Automatic implementation of computer logic
Material Type:
magazinearticle 		Adicionar ao Meu Espaço

Automatic implementation of computer logic

Morris, E ; Wohr, T

Communications of the ACM, 1958-05, Vol.1 (5), p.14-20

ACM

Texto completo disponível

Citações Citado por
7
Logic Matrices and the Truth Function Problem
Logic Matrices and the Truth Function Problem
Material Type:
Artigo 		Adicionar ao Meu Espaço

Logic Matrices and the Truth Function Problem

Netherwood, Douglas

Journal of the ACM, 1959-07, Vol.6 (3), p.405-414 [Periódico revisado por pares]

ACM

Texto completo disponível

Citações Citado por
8
Program development in computational logic: a decade of research advances in logic-based program development
Program development in computational logic: a decade of research advances in logic-based program development
Material Type:
Livro 		Adicionar ao Meu Espaço

Program development in computational logic: a decade of research advances in logic-based program development

Bruynooghe, Maurice ; Lau, Kung-Kiu

Springer 1900

Texto completo disponível

Citações Citado por
9
Design of Logic for Recognition of Printed Characters by Simulation
Design of Logic for Recognition of Printed Characters by Simulation
Material Type:
Artigo 		Adicionar ao Meu Espaço

Design of Logic for Recognition of Printed Characters by Simulation

Greanias, E. C. ; Hoppel, C. J. ; Kloomok, M. ; Osborne, J. S.

IBM journal of research and development, 1957-01, Vol.1 (1), p.8-18 [Periódico revisado por pares]

Texto completo disponível

Citações Citado por
10
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings
Material Type:
Livro 		Adicionar ao Meu Espaço

Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004, Proceedings

Diaz, Josep ; Karhumaki, Juhani ; Lepisto, Arto ; Sannella, Donald

Springer 1900

Texto completo disponível

Citações Citado por
Resultados 1 2 3 4 5 next page

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Mostrar Somente

  1. Revistas revisadas por pares (199)

Refinar Meus Resultados

Tipo de Recurso 

  1. Artigos  (301)
  2. magazinearticle  (73)
  3. Livros  (30)
  4. Resenhas  (12)
  5. Book Chapters  (8)
  6. Reports  (2)
  7. Mais opções open sub menu

Data de Publicação 

De até
Refinar
  1. Antes de1930  (40)
  2. 1930Até1950  (35)
  3. 1951Até1953  (50)
  4. 1954Até1957  (143)
  5. Após 1957  (159)
  6. Mais opções open sub menu

Idioma 

  1. Inglês  (418)
  2. Japonês  (9)
  3. Francês  (5)
  4. Alemão  (1)
  5. Mais opções open sub menu

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

Buscando em bases de dados remotas. Favor aguardar.