Lógica para computação (2006)
- Autores:
- Autores USP: SILVA, FLAVIO SOARES CORREA DA - IME ; FINGER, MARCELO - IME ; MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- Assuntos: SEMÂNTICA DE PROGRAMAÇÃO; PROGRAMAÇÃO LÓGICA
- Idioma: Português
- Imprenta:
- Editora: Cengage Learning
- Local: São Paulo
- Data de publicação: 2006
- Descrição física: 234 p
- ISBN: 9788522105175
-
ABNT
SILVA, Flávio Soares Corrêa da e FINGER, Marcelo e MELO, Ana Cristina Vieira de. Lógica para computação. . São Paulo: Cengage Learning. . Acesso em: 19 set. 2024. , 2006 -
APA
Silva, F. S. C. da, Finger, M., & Melo, A. C. V. de. (2006). Lógica para computação. São Paulo: Cengage Learning. -
NLM
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2024 set. 19 ] -
Vancouver
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2024 set. 19 ] - On the insufficiency of ontologies: problems in knowledge sharing and alternative solutions
- Princípios de linguagens de programação
- Why ontologies are not enough for knowledge sharing
- Why ontologies are not enough for knowledge sharing
- A lightweight capability communication mechanism
- Introdução à computação para administradores
- Temporal data obsolescence: modelling problems
- Intelligent mobile multi-robotic systems: some challenges and possible solutions
- Knowledge sharing between a probabilistuc logic and Bayesian belief network
- Bayesian networks in software maintenance management
Como citar
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
