Lógica para computação (2006)
- Authors:
- USP affiliated authors: SILVA, FLAVIO SOARES CORREA DA - IME ; FINGER, MARCELO - IME ; MELO, ANA CRISTINA VIEIRA DE - IME
- Unidade: IME
- Subjects: SEMÂNTICA DE PROGRAMAÇÃO; PROGRAMAÇÃO LÓGICA
- Language: Português
- Imprenta:
- Publisher: Cengage Learning
- Publisher place: São Paulo
- Date published: 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: 04 out. 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 out. 04 ] -
Vancouver
Silva FSC da, Finger M, Melo ACV de. Lógica para computação. 2006 ;[citado 2024 out. 04 ] - 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
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas