skip to main content

Idioma:

A two-sorted interpretation for annotated logic

Flávio Soares Corrêa da Silva Daniela Vasconcelos Carbogim

São Paulo IME-USP 1998

Localização: IME - Inst. Matemática e Estatística (IME-RT-C QA700.RT I59c 1998 v.01 e.1 ) e outros locais(Acessar)

Enviar para

Título:
A two-sorted interpretation for annotated logic
Autor: Flávio Soares Corrêa da Silva
Daniela Vasconcelos Carbogim
Assuntos: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
Notas: Disponível em: https://repositorio.usp.br/directbitstream/0800bb26-3264-469f-b9b8-41573ec27939/1019940.pdf. Acesso em: 10 out. 2023
Notas Locais: RT-MAC-9801
Editor: São Paulo IME-USP
Data de criação/publicação: 1998
Formato: 12 p.
Idioma: Inglês

Links

Voltar para lista de resultados

Ir para página anterior

Anterior Resultado 2 Avançar Ir para próxima página

Ir para próxima página

Realização: Logos de Redes Sociais:

Buscando em bases de dados remotas. Favor aguardar.

Buscando por
emscope:(USP_PRODUCAO)
Mostrar o que foi encontrado até o momento