skip to main content
Idioma:
Refinado por: data de publicação: 1957Até1973 remover tipo de recurso: Dissertações remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Semantic trees: New foundations for automatic theorem-proving
Semantic trees: New foundations for automatic theorem-proving
Material Type:
Tese 		Adicionar ao Meu Espaço

Semantic trees: New foundations for automatic theorem-proving

Hayes, Patrick J

The University of Edinburgh 1973

Texto completo disponível

Citações Citado por
2
Adaptive Aspects of Heuristic Search
Adaptive Aspects of Heuristic Search
Material Type:
Tese 		Adicionar ao Meu Espaço

Adaptive Aspects of Heuristic Search

Ross, Robert

The University of Edinburgh 1973

Texto completo disponível

Citações Citado por
3
The formal description of musical perception
The formal description of musical perception
Material Type:
Tese 		Adicionar ao Meu Espaço

The formal description of musical perception

Steedman, Mark

The University of Edinburgh 1972

Texto completo disponível

Citações Citado por
4
Models of Distributed Associative Memory
Models of Distributed Associative Memory
Material Type:
Tese 		Adicionar ao Meu Espaço

Models of Distributed Associative Memory

Willshaw, David

The University of Edinburgh 1971

Texto completo disponível

Citações Citado por
5
Computational Logic: Structure sharing and proof of program properties
Computational Logic: Structure sharing and proof of program properties
Material Type:
Tese 		Adicionar ao Meu Espaço

Computational Logic: Structure sharing and proof of program properties

Moore, J Strother

1973

Texto completo disponível

Citações Citado por
6
A data retrieval system with high storage efficiency and a computer based instructional system
A data retrieval system with high storage efficiency and a computer based instructional system
Material Type:
Tese 		Adicionar ao Meu Espaço

A data retrieval system with high storage efficiency and a computer based instructional system

Vosbury, Newman Arthur

The University of Oklahoma 1973

Texto completo disponível

Citações Citado por
7
Automatic error correction in syntax-directed compilers
Automatic error correction in syntax-directed compilers
Material Type:
Tese 		Adicionar ao Meu Espaço

Automatic error correction in syntax-directed compilers

Lazarus, Paul Shantraj

The University of Oklahoma 1973

Texto completo disponível

Citações Citado por

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até
Refinar

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

Buscando em bases de dados remotas. Favor aguardar.