paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Explorer data.idref
data.idref
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 213987597Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/213987597/idCopier cet URI
Notice de type Notice de regroupement

Point d'accès autorisé

Formal specification using Z

Variante de point d'accès

La spécification formelle avec Z
[Notice de regroupement]

Information

Langue d'expression : anglais
Date de parution :  1991


Notice d'autorité liée

Informations sur la notice

Identifiant de la notice : 213987597
RCR créateur de la notice : 0499
Date de création : 21-10-2017
RCR dernier modificateur de la notice : 0499
Date de dernière modification : 25-05-2024 à 01 h 32

... Références liées : ...