A two-sorted interpretation for annotated logic (1998)
- Authors:
- Autor USP: SILVA, FLAVIO SOARES CORREA DA - IME
- Unidade: IME
- Assunto: METODOLOGIA E TÉCNICAS DE COMPUTAÇÃO
- Language: Inglês
- Imprenta:
-
ABNT
SILVA, Flávio Soares Corrêa da e CARBOGIM, Daniela Vasconcelos. A two-sorted interpretation for annotated logic. . São Paulo: IME-USP. Disponível em: https://repositorio.usp.br/directbitstream/0800bb26-3264-469f-b9b8-41573ec27939/1019940.pdf. Acesso em: 11 mar. 2026. , 1998 -
APA
Silva, F. S. C. da, & Carbogim, D. V. (1998). A two-sorted interpretation for annotated logic. São Paulo: IME-USP. Recuperado de https://repositorio.usp.br/directbitstream/0800bb26-3264-469f-b9b8-41573ec27939/1019940.pdf -
NLM
Silva FSC da, Carbogim DV. A two-sorted interpretation for annotated logic [Internet]. 1998 ;[citado 2026 mar. 11 ] Available from: https://repositorio.usp.br/directbitstream/0800bb26-3264-469f-b9b8-41573ec27939/1019940.pdf -
Vancouver
Silva FSC da, Carbogim DV. A two-sorted interpretation for annotated logic [Internet]. 1998 ;[citado 2026 mar. 11 ] Available from: https://repositorio.usp.br/directbitstream/0800bb26-3264-469f-b9b8-41573ec27939/1019940.pdf - Understanding fun
- Princípios de sistemas de informação
- Knowledge-based modality selection for information presentation in a mobile system for primary homecare
- Agent-based group modelling for ambient intelligence
- A framework for interacting situated agents in virtual environments
- Semantic information extraction from images of complex documents
- LS2C: a platform to design, implement and execute social computations
- On the ethics of democratic access to web information: some reflections on recent work by Luciano Floridi
- Information flow and knowledge sharing
- Cooperation between knowledge based systems
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
1019940.pdf | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
