Serveur d'exploration sur l'opéra - Exploration (Accueil)

Index « Auteurs » - entrée « Alessandro Armando »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Alessandro Alberto Casazza < Alessandro Armando < Alessandro Cocchi  Facettes :

List of bibliographic references indexed by Alessandro Armando

Number of relevant bibliographic references: 1.
Ident.Authors (with country if any)Title
002F58 (1993) Mauro Di Manzo [Italie] ; Enrico Giunchiglia [Italie] ; Alessandro Armando [Italie] ; Paolo Pecchiari [Italie]Proving formulas through reduction to decidable classes

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Musique/explor/OperaV1/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Alessandro Armando" 
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Alessandro Armando" \
         | 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/Musique
   |area=    OperaV1
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Alessandro Armando
}}

Wicri

This area was generated with Dilib version V0.6.21.
Data generation: Thu Apr 14 14:59:05 2016. Site generation: Thu Jan 4 23:09:23 2024