PROGRAMMATION EN LOGIQUE AVEC CONTRAINTES JFPLC 2002
La programmation logique avec contraintes est le fruit de recherches menées depuis plusieurs décennies dans le domaine de la logique, la démonstration automatique, la recherche opérationnelle et l'intelligence artificielle.
Description
La programmation logique avec contraintes est le fruit de recherches menées depuis plusieurs décennies dans le domaine de la logique, la démonstration automatique, la recherche opérationnelle et l'intelligence artificielle.
Renseignements sur l'ouvrage
Ouvrages similaires
-
RÉSEAUX, LIBERTÉS ET CONTRÔLE: GÉNÉALOGIE POLITIQUE D'INTERNETUne généalogie politique d'internet -
LES RÉFÉRENTIELS DU SYSTÈME D'INFORMATIONDonnées de référence et architecture d'entreprise -
L'ÂGE DE LA MULTITUDE - 2E ÉD. - ENTREPRENDRE ET GOUVERNER APRÈSENTREPRENDRE ET GOUVERNER APRÈS LA RÉVOLUTION NUMÉ -
SMART HOME: HABITAT CONNECTE, INSTALLATIONS DOMOTIQUES ET MULTIMEHabitat connecté, installations domotiques et multimédia -
CHOISIR L'AGILITE: DU DEVELOPPEMENT LOGICIEL A LA GOUVERNANCEDu développement logiciel à la gouvernance -
PLAN DE CONTINUITÉ D'ACTIVITÉ ET SYSTÈME D'INFORMATIONVers l'entreprise résiliente -
CRÉATEURS D'ENTREPRISE, OPTIMISEZ VOTRE DÉVELOPPEMENT GRÂCE AU WECONCEVEZ UNE STRATÉGIE INTERNET EFFICACE ET RENTAB -
INGÉNIERIE DES EXIGENCESMéthodes et bonnes pratiques pour construire et maintenir un référentiel
