Programmation logique

Thème :Programmation logique
Origine :RAMEAU - Notice originale
Domaines :Savoir et érudition. Musées
Informatique
Autres formes du thème :Programmation en logique
Programmazione logica (italien)

Thèmes liés

Termes plus larges (2)

Termes plus précis (1)

Documents sur ce thème

Livres227 documents

  • Logics for emerging applications of databases

    Description matérielle : 1 vol. (XV-368 p.)
    Description : Note : Notes bibliogr.
    Édition : Berlin ; Paris : Springer , cop. 2004
    Éditeur scientifique : Jan Chomicki (1955-....), Gunter Saake (1960-....), Ron Van der Meyden

    disponible en Haut de Jardin

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb40936017t]
  • Logique temporelle

    sémantique et validation des programmes parallèles

    Description matérielle : 234 p.
    Description : Note : Bibliogr. p. 224-232. Index
    Édition : Paris ; Milan ; Barcelone : Masson , 1990
    Auteur du texte : Éric Audureau, Patrice Enjalbert, Luis Fariñas del Cerro

    disponible en Haut de Jardin

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb350761514]
  • A 25-Year perspective on logic programming

    achievements of the Italian Association for Logic Programming, GULP

    Description matérielle : 1 online resource (1 texte électronique)
    Description : Note : Versement en lot
    In Springer Link (Monographies électroniques)
    Titre de l'écran-titre (visionné le July 19, 2010)
    Comprend un index
    Édition : Berlin ; Heidelberg : Springer-Verlag , cop. 2010

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb44700193b]
  • Advances in knowledge representation, logic programming, and abstract argumentation

    essays dedicated to Gerhard Brewka on the occasion of his 60th birthday

    Description matérielle : 1 online resource (XIII, 359 S.)
    Édition : Cham [u.a.] : Springer , 2015
    Autre : Gerhard Brewka

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb44678623r]
  • Advances in logic programming theory

    Description matérielle : 1 vol. (XIV-254 p.)
    Description : Note : Notes bibliogr.
    Édition : Oxford : Oxford university press , 1994
    Auteur du texte : Giorgio Levi

    [catalogue][https://catalogue.bnf.fr/ark:/12148/cb37478647q]

Pages dans data.bnf.fr

Auteurs reliés

Cette page dans l'atelier