skip to main content
Refinado por: assunto: Machine Theory remover tipo de recurso: Artigos remover
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Artigo
Adicionar ao Meu Espaço

An abstract programming language and correctness proofs

Liu, Shaoying

Computer Languages, 1993, Vol.18(4), pp.273-282 [Periódico revisado por pares]

Texto completo disponível

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

Exploiting and-or parellelism in Prolog: the OASys computation model and abstract architecture

Vlahavas, I.

The Journal of Systems and Software, Oct, 1998, Vol.43(1), p.45(13) [Periódico revisado por pares]

Texto completo disponível

Personalize Seus Resultados

  1. Editar

Refine Search Results

Expandir Meus Resultados

  1.   

Data de Publicação 

De até

Novas Pesquisas Sugeridas

Ignorar minha busca e procurar por tudo

Deste Autor:

  1. Liu, Shaoying
  2. Liu, S
  3. Shaoying Liu
  4. Vlahavas, I.
  5. Liu, Sy

Buscando em bases de dados remotas. Favor aguardar.