| 0022-4790 < 0022-4812 < 0022-4936 | Facettes : |
List of bibliographic references indexed by 0022-4812
Number of relevant bibliographic references: 14.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 006246 (2005) | Balder Ten Cate [Pays-Bas] | Interpolation for extended modal languages |
| 007455 (2003) | Patrick Blackburn [France] ; Maarten Marx [Pays-Bas] | Constructive Interpolation in Hybrid Logic |
| 008E17 (2001) | Carlos Areces ; Patrick Blackburn [France] ; Maarten Marx | Hybrid Logic: Characterization, Interpolation and Complexity |
| 00CD48 (1994) | Association for Symbolic Logic | |
| 00D185 (1993) | Notices | |
| 00D656 (1992) | Notices | |
| 00DE55 (1990) | Association for Symbolic Logic | |
| 00E069 (1989) | Association for symbolic logic | |
| 00E631 (1987) | Association for Symbolic Logic | |
| 00E835 (1986) | Individual Members 1986 | |
| 00EA43 (1985) | List of officers and members of the Association for Symbolic Logic | |
| 00EC36 (1984) | List of officers and members of the Association for Symbolic Logic | |
| 00ED16 (1983) | Association for Symbolic Logic | |
| 00EF82 (1975) | Alonzo Church | REVIEWS |
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 "0022-4812"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/ISSN.i \
-Sk "0022-4812" \
| 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é= 0022-4812
}}
| This area was generated with Dilib version V0.6.33. |  |