Implementação em visual prolog de um roteador de helicópteros (1998)
- Authors:
- Autor USP: SILVA, JOSE REINALDO - EP
- Unidade: EP
- Subjects: HELICÓPTEROS; PROLOG
- Language: Português
- Imprenta:
- Source:
- Título: 6.SICUSP : resumos
- Conference titles: Simpósio de Iniciação Científica da Universidade de São Paulo
-
ABNT
SANTOS, A B e JACOTO, A e SILVA, José Reinaldo. Implementação em visual prolog de um roteador de helicópteros. 1998, Anais.. São Paulo: USP, 1998. Disponível em: https://repositorio.usp.br/directbitstream/3bb0887e-7a3f-4d01-9d50-d2227724598f/Silva_JR-1998-implementacao%20em%20visual%20prolog%20de%20um%20roteador%20de%20helicopteros.pdf. Acesso em: 12 abr. 2026. -
APA
Santos, A. B., Jacoto, A., & Silva, J. R. (1998). Implementação em visual prolog de um roteador de helicópteros. In 6.SICUSP : resumos. São Paulo: USP. Recuperado de https://repositorio.usp.br/directbitstream/3bb0887e-7a3f-4d01-9d50-d2227724598f/Silva_JR-1998-implementacao%20em%20visual%20prolog%20de%20um%20roteador%20de%20helicopteros.pdf -
NLM
Santos AB, Jacoto A, Silva JR. Implementação em visual prolog de um roteador de helicópteros [Internet]. 6.SICUSP : resumos. 1998 ;[citado 2026 abr. 12 ] Available from: https://repositorio.usp.br/directbitstream/3bb0887e-7a3f-4d01-9d50-d2227724598f/Silva_JR-1998-implementacao%20em%20visual%20prolog%20de%20um%20roteador%20de%20helicopteros.pdf -
Vancouver
Santos AB, Jacoto A, Silva JR. Implementação em visual prolog de um roteador de helicópteros [Internet]. 6.SICUSP : resumos. 1998 ;[citado 2026 abr. 12 ] Available from: https://repositorio.usp.br/directbitstream/3bb0887e-7a3f-4d01-9d50-d2227724598f/Silva_JR-1998-implementacao%20em%20visual%20prolog%20de%20um%20roteador%20de%20helicopteros.pdf - Análise da propriedade distância síncrona na rede GHENeSYS
- Análise de invariantes na rede de Petri Ghenesys
- Toward a multi-agent manager to a set of agv's
- A estruturação do problema de planejamento em uma abordagem baseada em IA e no formalismo das redes de Petri
- Mercado aberto para automação e informática industrial
- Specification and analysis for automated flexible manufacturing
- Integrated tools environment for modeling and analysis of automated planning systems
- Development of tool for automated planning domains modeling and analysis
- Using time petri nets for modeling and verification of timed constrained workflow systems
- Management and collecting data in the informed manufacturing
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
Silva_JR-1998-implementac... |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
