programmation logique

Voir le(s) DEA suivant(s) :

• Informatique
• Informatique
• Informatique de l'image et du langage (2IL)
• Informatique et ingéniérie

Voir aussi :

• programmation et langages
• programmation parallèle
• logique
• programmation en logique
• logique temporelle
• logique mathématique
• logique linéaire
• programmation symbolique
• logiques classiques
• programmation
• logique modale
• logique floue
• logiques intensionnelles
• logique et raisonnement
• logiques non classiques
• programmation et langage de la robotique
• logiques non classsiques
• environnements de programmation
• synthèse logique automatique
• ordre logique