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. . Acesso em: 21 jan. 2026. , 1998 -
APA
Silva, F. S. C. da, & Carbogim, D. V. (1998). A two-sorted interpretation for annotated logic. São Paulo: IME-USP. -
NLM
Silva FSC da, Carbogim DV. A two-sorted interpretation for annotated logic. 1998 ;[citado 2026 jan. 21 ] -
Vancouver
Silva FSC da, Carbogim DV. A two-sorted interpretation for annotated logic. 1998 ;[citado 2026 jan. 21 ] - Semantic information extraction from images of complex documents
- LS2C: a platform to design, implement and execute social computations
- Cooperation between knowledge based systems
- Cálculo de equivalência de operadores morfológicos via sistemas de reescrita de termos
- Eletronic health records using blockchain technology
- On the ethics of democratic access to web information: some reflections on recent work by Luciano Floridi
- Information flow and knowledge sharing
- On the construction of synthetic characters with personality and emotion
- An algebraic view of combination rules
- A lightweight capability communication mechanism
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
