نتائج البحث

Modelo de planta automático e algoritmo de lógica e controle para produção de biodiesel / Model of automatic plant and your logic control algorithm for biodiesel production

• Authors : Macedo, Humberto Rodrigues; Junior, Joel Carlos Zukowski; Victor, Valci Ferreira

Subjects: Transesterificação; Programação lógica; Automação

• Source: Brazilian Journal of Development; v. 6, n. 8 (2020); 59168-59181 ; 2525-8761

تفاصيل العنوان

Development of an intelligent and interactive tutorial system based on the PBL methodology applied in a virtual learning environment

• Authors : Meira, Matheus Carvalho, 1983;

Subjects: Artificial intelligence; Aprendizagem; Linguagem de programação lógica

• Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

Representação de conhecimento utilizando o 'lambda'-calculo tipado

• Authors : Souza, João Nunes de;

Subjects: Programação lógica; Teoria dos grafos; Redes de petri

• Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

Criação de ferramentas para ambiente PROLOG e o acesso de novatos ao paradigma da programação em logica

• Authors : Baranauskas, Maria Cecilia Calani, 1954;

Subjects: Programação lógica; Prolog (Linguagem de programação de computador)

• Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

Programação em logica, prolog e restriçõs

• Authors : Cohn, Paulo Gomide;

Subjects: Programação lógica; Programação orientada a objetos (Computação)

• Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

Modelagem e processamento de conhecimento baseados em Rede de Petri nebulosa estendida

• Authors : Daltrini, Alexandre Moreira, 1968;

Subjects: Programação lógica; Redes de petri; Inteligência artificial

• Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

Programação lógica paraconsistente em lógicas três e quatro valoradas

• Authors : Oliveira, Kleidson Êglicio Carvalho da Silva, 1987;

Subjects: Lógica paraconsistente; Many-valued logics; Programação lógica

• Source: Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP)Universidade Estadual de Campinas (UNICAMP)instacron:UNICAMP

تفاصيل العنوان

Paralelismo em Prolog: conceitos e sistemas ; Parallelism in Prolog: concepts and systems

• Authors : Fabrício Filho, João; Silva, Anderson Faustino da

Subjects: PROLOG (Linguagem de programação de computador); Programação paralela (Computação); Programação lógica (Computação)

تفاصيل العنوان

Metaheurísticas híbridas baseadas em programação por restrições para um problema de corte bidimensional guilhotinado com defeitos e restrições de precedência

• Authors : Santos Neto, Junot Freire dos;

Subjects: Metaheurísticas; Ciência da Computação; Programação lógica por restrição

• Source: Repositório Institucional da UFBAUniversidade Federal da Bahia (UFBA)instacron:UFBA

تفاصيل العنوان

Um estudo de caso para avaliar a linguagem Égua sob a percepção de alunos do ensino superior ; A case study to assess Égua language from the perception of higher education students

• Authors : Silva, Matheus Felipe Veloso;

Subjects: Programação lógica (Computação); Engenharia de software; Software - Desenvolvimento

تفاصيل العنوان