1

Audureau, Éric

Logique temporelle : sémantique et validation des programmes parallèles / Eric Audureau,..., Patrice Enjalbert,..., Luis Fariñas del Cerro,... ; préf. de Erwin Engeler

Masson

1990

Livres
2

Intensional logics for programming / ed. by Luis Fariñas del Cerro,... and Martti Penttonen,...

Clarendon press

1992

Livres
3

Journées européennes sur la logique en intelligence artificielle (1998 ; Dagstuhl, Allemagne)

Logics in artificial intelligence / European workshop, JELIA '98 Dagstuhl, Germany, October 12-15, 1998 proceedings ; Jürgen Dix, Luís Fariñas del Cerro, Ulrich Furbach, eds.

Springer

1998

Livres

Tri par :

sur 1

Télécharger/Imprimer

Vous allez obtenir un document que vous pourrez enregistrer ou imprimer.

Format du fichier :

PDF
TXT

Choisir :

  notices abrégées
  notices complètes
  notices abrégées
  notices complètes sans exemplaires
  notices complètes avec exemplaires

Format de la notice :

Public
Intermarc

Envoyer par courriel

Envoi par courriel au format txt :

PDF
TXT

  notices abrégées
  notices complètes sans exemplaires
  notices complètes avec exemplaires

Format de la notice :

Public
Intermarc

Adresse du destinataire :

Ajouter à mes références

La sélection a bien été ajoutée.

> Accéder à mes références

Exporter dans un tableau

paramétrage public
paramétrage professionnel

Vous allez obtenir un document csv.

	(Sélectionner tout)
	Localisation (pour obtenir tous les exemplaires d'une même ressource)
	Titre
	Auteur
	Contributeur
	Editeur
	Date
	Description
	Sujet
	Couverture
	Langue
	Format

Vous allez obtenir un document csv.

Intermarc

Unimarc

1 colonne par zone

1 colonne par sous-zone

Avec données brutes

Données avec étiquette

avec sous-notices

sans sous-notices

avec données d'exemplaire

sans données d'exemplaire

Identification
Localisation
Cote magasin
Cote libre accès
Droits génériques
Caractéristiques
Exe remarquables
Fonds
Données de numérisation

Numéro de notice	Numéro de regroupement
Collection	Date de dernière modification
Mode d'accès	Mode d'entrée
Numéro d'ordre	Numéro d'inventaire
Identifiant partie exe liée	Numéro d'entrée
Source récolement	Libellé du regroupement
Date de création

Etablissement	Lacune
Statut d'acquisition	Etat de collection
Destination	Complétude pub. en série
Usage	Conservation
Qualification/Volumaison	Note complétude
Etat col/mon

Adresse	Sous-cote
Préfixe	Cote non conrôlée
Format	Cote 1
Lettrage, millésime ou support	Cote 2
Numéro	Cote originale (indexée)
Début numéro	Cote originale (non indexée)
Fin numéro

Salle	Nature oeuvre
Discipline	Code critique
Dewey / Per	Microforme
Code auteur	Ancienne cote
Code titre

Droit	Date fin
Permission	Paramètres
Date début	Id. convention

Disponibilité	Particularités
Support physique	Origine
Original	Microforme
Matériel accompagnement	Source bibliographique
Description technique

Numéro exemplaire	Note papier
Ajouts	Type provenance
Note ajouts	Type
Type papier	Date

Nom du fonds	Mention de mécénat
N° à l'intérieur d'un fonds	Département gestionnaire

Date numérisation	Cote support numérisé
Document né numérique	Présence adaptatif
Nb de vues	Type adaptatif
1ère page à afficher	Version adaptatif
Numérisation partielle	Taux qualité adaptatif
Numérisation directe	Signalement adaptatif
Type num. partielle	Consultation adaptatif
Table des matières	Présence E-Pub
Type de TDM	Type E-Pub
Présence de texte	Version E-Pub
Taux de qualité du texte	Qualité E-Pub
Type fichiers num.	Identifiant E-Pub
Taille fichiers num.	Taux qualité E-Pub
Qualité de la numérisation	Accessibilité E-Pub
Résolution du master	Signalement E-Pub
Support numérisé	Consultation E-Pub
Id ArkDoc

Transférer pour un SGB

Vous allez obtenir un fichier au format d'échange ISO2709 à importer dans votre catalogue de bibliothèque informatisé.

Format bibliographique :

Unimarc
Intermarc

Encodage des caractères :

Unicode-UTF8 : jeu de caractères pour tous les systèmes d'écriture

ISO 5426 : jeu de caractères latins

popin.ajouter.recherches.titre

popin.saisir.titre

Information

Veuillez sélectionner au moins une notice dans la liste de résultats.

Récupérer les notices

Ma sélection (0)

Télécharger/Imprimer
Envoyer par courriel
Exporter dans un tableau
Transférer pour un SGB

Tous les résultats (3)

Exporter dans un tableau
Transférer pour un SGB

autres Ressources

Archives et manuscrits
Ressources électroniques

Affiner

Audureau, Éric

Journées européennes sur la logique en intelligence artificielle (1998 ; Dagstuhl, Allemagne)

Récupérer les notices

autres Ressources