Buscas alternativas:
logical programming » logic programming (Expandir a busca), dialogical programming (Expandir a busca), physical programming (Expandir a busca)
methods logical » methods topological (Expandir a busca), _ methodological (Expandir a busca)
based methods » based method (Expandir a busca), mixed methods (Expandir a busca)
logical programming » logic programming (Expandir a busca), dialogical programming (Expandir a busca), physical programming (Expandir a busca)
methods logical » methods topological (Expandir a busca), _ methodological (Expandir a busca)
based methods » based method (Expandir a busca), mixed methods (Expandir a busca)
1
Assuntos:
“...[en] GRAMMAR ORIENTED LINEAR GENETIC PROGRAMMING...”
[en] MULTIOBJECTIVE OPTIMIZATION METHODS FOR REFINERY CRUDE SCHEDULING APPLYING GENETIC PROGRAMMING
Tese
2
Assuntos:
“...Object-oriented logic programming...”
MODELOG : model-oriented development with executable logical object generation
Tese
3
Assuntos:
“...Inductive logic programming...”
Ontoilper: an ontology- and inductive logic programming-based method to extract instances of entities and relations from texts
Tese
4
Assuntos:
“...Cartesian genetic programming...”
Síntese de árvores de padrões Fuzzy através de Programação Genética Cartesiana.
Dissertação
5
Assuntos:
“...Programming languages (Electronic computers)...”
Prog-Poly: jogo de tabuleiro baseado no monopoly para ajudar nos estudos de linguagem de programação e engenharia de software
Dissertação
6
Assuntos:
“...Simulation methods...”
Contribuição para o desenvolvimento de uma arquitetura de computação própria ao paradigma orientado a notificações
Tese
7
Assuntos:
“...Parallel programming (Computer science)...”
Proposição de uma arquitetura para árvores de decisão orientada a notificações - ADON
Tese
9
10
11
12
13
14
15
“... to create, develop, implement and evaluate a teaching methodology based on a set of didactic activities...”
Conjunto estruturado de atividades didáticas para o ensino introdutório de programação
Tese
16
18
19
20
“... given. A rule-based nominal unification modulo C algorithm is specified in Coq and proved sound and...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese