0741-6261 < 0743-1066 < 0743-7315 | Facettes : |
List of bibliographic references
Number of relevant bibliographic references: 14.Ident. | Authors (with country if any) | Title |
---|---|---|
000400 (1998) | M. R. K. Krishna Rao ; Deepak Kapur ; R. K. Shyamasundar | Transformational methodology for proving termination of logic programs |
000B74 (1995) | Rolf Backofen | A complete axiomatization of a theory with feature and arity constraints |
000D47 (1995) | Editorial Board | |
001239 (1996) | Editorial Board | |
001E09 (1996) | Editorial Board | |
001F44 (1995) | Maria Alpuente ; Moreno Falaschi ; Ferdinando Manzo | Analyses of unsatisfiability for equational logic programming |
002900 (2000) | Jianyang Zhou | Introduction to the constraint language NCL |
002E42 (1996) | Editorial Board | |
003455 (1998) | Editorial Board | |
003517 (1997) | Editorial Board | |
003533 (1997) | Editorial Board | |
003990 (1998) | Editorial Board | |
003C04 (1996) | Donald A. Smith | Multilog and data or-parallelism |
003D37 (1995) | Editorial Board |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Corpus
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Corpus/ISSN.i -k "0743-1066"
HfdIndexSelect -h $EXPLOR_AREA/Data/Istex/Corpus/ISSN.i \ -Sk "0743-1066" \ | HfdSelect -Kh $EXPLOR_AREA/Data/Istex/Corpus/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Istex |étape= Corpus |type= indexItem |index= ISSN.i |clé= 0743-1066 }}
This area was generated with Dilib version V0.6.33. |