| 0741-6261 < 0743-1066 < 0743-1619 | Facettes : |
List of bibliographic references indexed by 0743-1066
Number of relevant bibliographic references: 14.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 009D40 (2000) | Jianyang Zhou [France] | Introduction to the constraint language NCL |
| 00B231 (1998) | M. R. K. Krishna Rao [Inde] ; Deepak Kapur [Inde] ; R. K. Shyamasundar [Inde] | Transformational methodology for proving termination of logic programs |
| 00B250 (1998) | Editorial Board | |
| 00B251 (1998) | Editorial Board | |
| 00BB38 (1997) | Editorial Board | |
| 00BB39 (1997) | Editorial Board | |
| 00BF46 (1996) | Donald A. Smith [Nouvelle-Zélande] | Multilog and data or-parallelism |
| 00BF57 (1996) | Editorial Board | |
| 00BF58 (1996) | Editorial Board | |
| 00BF59 (1996) | Editorial Board | |
| 00C638 (1995) | Editorial Board | |
| 00C639 (1995) | Editorial Board | |
| 00C649 (1995) | Maria Alpuente [Espagne] ; Moreno Falaschi [Espagne] ; Ferdinando Manzo [Espagne] | Analyses of unsatisfiability for equational logic programming |
| 00C658 (1995) | Rolf Backofen [Allemagne] | A complete axiomatization of a theory with feature and arity constraints |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/ISSN.i -k "0743-1066"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/ISSN.i \
-Sk "0743-1066" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= indexItem
|index= ISSN.i
|clé= 0743-1066
}}
| This area was generated with Dilib version V0.6.33. |  |