From logic to logic programming

Enregistré dans:
Détails bibliographiques
Auteur principal: Doets, Kees. (Auteur)
Support: E-Book
Langue: Anglais
Publié: Cambridge (Mass.) : MIT Press, 1994.
Sujets:
Autres localisations: Voir dans le Sudoc
Accès en ligne: Accès à l'E-book
LEADER 01970cmm a2200553 i 4500
001 ebook-220188890
005 20240112135821.0
007 cr|cuu---auauu
008 171114s1994||||us ||||g|||d ||||||eng d
020 |a 9780262288477 
024 7 |a 10.7551/mitpress/3133.001.0001  |2 DOI 
035 |a (OCoLC)1016043187 
035 |a FRCYB88841723 
035 |a FRCYB56788841723 
035 |a FRCYB09888841723 
035 |a FRCYB14088841723 
035 |a FRCYB17088841723 
035 |a FRCYB24288841723 
035 |a FRCYB24888841723 
035 |a FRCYB26088841723 
035 |a FRCYB26888841723 
035 |a FRCYB29388841723 
035 |a FRCYB29588841723 
035 |a FRCYB55488841723 
035 |a FRCYB55988841723 
035 |a FRCYB08288841723 
035 |a FRCYB57188841723 
040 |a ABES  |b fre  |e AFNOR 
041 0 |a eng  |2 639-2 
082 0 |a 005.1  |2 20 
100 1 |0 (IdRef)033755329  |1 http://www.idref.fr/033755329/id  |a Doets, Kees.  |4 aut.  |e Auteur 
245 1 0 |a From logic to logic programming   |c Kees Doets. 
256 |a Données textuelles. 
264 1 |a Cambridge (Mass.) :  |b MIT Press,  |c 1994. 
336 |b txt  |2 rdacontent 
337 |b c  |2 rdamedia 
337 |b b  |2 isbdmedia 
338 |b ceb  |2 RDAfrCarrier 
500 |a Titre provenant de la page de titre du document numérique. 
500 |a La pagination de l'édition imprimée correspondante est de 229 p. 
506 |a L'accès complet à la ressource est réservé aux usagers des établissements qui en ont fait l'acquisition 
538 |a Configuration requise : navigateur internet. 
650 7 |0 (IdRef)028949102  |1 http://www.idref.fr/028949102/id  |a Programmation logique.  |2 ram 
650 0 |a Logic programming.  |2 lc 
856 |q HTML  |u https://srvext.uco.fr/login?url=https://univ.scholarvox.com/book/88841723  |w Données éditeur  |z Accès à l'E-book 
886 2 |2 unimarc  |a 181  |a i#  |b xxxe## 
993 |a E-Book  
994 |a BNUM 
995 |a 220188890