Paralog: um prolog paraconsistente baseado em logica anotada (1995)
- Authors:
- USP affiliated authors: COSTA, NEWTON CARNEIRO AFFONSO DA - FFLCH ; RILLO, MARCIO - EP
- Unidades: FFLCH; EP
- Assunto: LÓGICA
- Language: Português
- Imprenta:
- Descrição física: 28p
-
ABNT
COSTA, Newton Carneiro Affonso da et al. Paralog: um prolog paraconsistente baseado em logica anotada. . São Paulo: Iea-USP. . Acesso em: 29 jan. 2026. , 1995 -
APA
Costa, N. C. A. da, Prado, J. P. A., Abe, J. M., & Avila, B. C. (1995). Paralog: um prolog paraconsistente baseado em logica anotada. São Paulo: Iea-USP. -
NLM
Costa NCA da, Prado JPA, Abe JM, Avila BC. Paralog: um prolog paraconsistente baseado em logica anotada. 1995 ;[citado 2026 jan. 29 ] -
Vancouver
Costa NCA da, Prado JPA, Abe JM, Avila BC. Paralog: um prolog paraconsistente baseado em logica anotada. 1995 ;[citado 2026 jan. 29 ] - The lsi assembly cell
- Aplicações de redes de Petri em sistemas de manufatura
- Celula flexivel de montagem do laboratorio de sistemas integraveis
- Plancel: um planejador para celulas flexiveis de manufatura
- Using petri nets and rule-based system in manufacturing systems
- Expectation-based temporal projection system
- Editor e simulador de redes grafcet
- Abordagem paraconsistente baseada em logica evidencial para tratar excecoes em sistemas de frames com multipla heranca
- Metodologia para implementacao de sistemas de controle e projecao temporal de atividades
- Controle de sistema de manufatura por redes de petri e regras de produção
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas