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: 03 dez. 2025. , 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 2025 dez. 03 ] 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 2025 dez. 03 ] Available from: https://repositorio.usp.br/directbitstream/0800bb26-3264-469f-b9b8-41573ec27939/1019940.pdf - Information flow and knowledge sharing
- LS2C - a platform for norm controlled social computers
- Entertainment Computing – ICEC 2013: 12th International Conference, ICEC 2013, São Paulo, Brazil, October 16-18, 2013. Proceedings
- Assessment of fun from the analysis of facial expressions to support video game design
- Coupled MMASS: a formal model for non-deterministic multi-agent simulations
- An ontology for portability and interoperability digital documents: an approach in document engineering using ontologies
- Multi-objective evolution for chemical product design
- Depth-sensor applications for the elderly: a viable option to promote a better quality of life
- Soft institutions - a platform to design and implement socio-technical systems
- Jam session - knowledge-based interaction protocols for intelligent interactive environments
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
