Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Logic Programming : New Frontiers
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Logic Programming : New Frontiers

Logic Programming : New Frontiers

D.R. Brough

308 pages, parution le 10/02/1992

Résumé

This book covers the theory, applications, theoretical possibilities
and implementation issues that represent the most original material
in Prolog.

Contents


  • Preface
  • Metalevel and constraint technology in a pure logic language -
    (Edward Babb)
  • A framework for the principled debugging of Prolog rograms:
    How to debug non-terminating programs - (Paul Brna, Alan Bundy
    and Helen Pain)
  • Event abstraction debuggers for layered systems in Prolog -
    (Andrew Casson)
  • Extending the integrity maintenance capability in deductive
    databases - (Subrata Kumar Das and M.H. Williams)
  • Construction of CLP Programs - (Yves Deville and Pascal van
    Hentenryck)
  • Some control Engineering Applications of Prolog - (PW
    Grant, CP Jobling and C Resvani)
  • GAP: an experiment in model oriented programming - (Keith
    Harrison)
  • Using Prolog to animate mathematics - (Ron Knott)
  • Term-encodable description spaces - (Chris
    Mellish)
  • Logic, language and the quest for intelligence - (Chris
    Moss)
  • A model for OR-parallel Prolog execution using graph reduction
    - (SMS Syed-Mustaffa)
  • Reconciling systems and deductive capacities in
    knowledge-based systems using logic programming - (Hamish
    Taylor)
  • The Wivenhoe computational model: in search of more
    parallelisms - (Jiwei Wang and Simon Lavington)

Caractéristiques techniques

  PAPIER
Éditeur(s) Intellect Books
Auteur(s) D.R. Brough
Parution 10/02/1992
Nb. de pages 308
Format 16 x 24
Poids 600g
EAN13 9781871516258

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription