Accueil
Liste de notices suite rebond

32 Notices bibliographiques

Votre Recherche

Applied logic series / managing ed. Dov M. Gabbay,...

Sauvegarder votre recherche

Affiner

Nature de document

Texte imprimé et livre numérique (32)

Détails texte imprimé ou électronique

Livres (32)

Localisation

Bibliothèque de recherche (32)
- François Mitterrand (32)
  - Magasin (dans toutes les salles de l'espace Recherche) (18)
  - Libre accès - Sciences et Techniques (salle R) (14)

Auteurs, contributeurs...

Gabbay, Dov M. (1945-....) (2)
Wansing, Heinrich (1963-....) (2)
Kamareddine, Fairouz D. (2)

Ajouter un filtre

Langues

anglais (32)

Date de publication

1900-1999 (12)
2000-2099 (20)

Sujets

Logique mathématique = 511.3 (23e éd.) (7)
Logique mathématique (6)
Logique informatique (5)

Ajouter un filtre

Genre ou forme

Actes de congrès (2)

Pays

Pays-Bas (30)
Allemagne (2)

Voir la sélection (0)

Ajouter à mes références (0)

Information

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

Tri par :

sur 4

Page suivante
Dernière page

1

Walton, Douglas Neil (1942-....)

Fallacies arising from ambiguity / by Douglas Walton,...

Kluwer academic publishers

N° 1

1996

Livres
2

Proof theory of modal logic / ed. by Heinrich Wansing,...

Kluwer academic publ.

N° 2

1996

Livres
3

Advances in intensional logic / ed. by Maarten de Rijke,...

Kluwer academic publ.

N° 7

1997

Livres
4

Logic, language, and computation / ed. by Seiki Akama,...

Kluwer Academic Publishers

N° 5

1997

Livres
5

Marx, Maarten

Multi-dimensional modal logic / by Maarten Marx,... and Yde Venema,...

Kluwer academic publ.

N° 4

1997

Livres
6

Goubault-Larrecq, Jean

Proof theory and automated deduction / by Jean Goubault-Larrecq,... and Ian Mackie,...

Kluwer academic publ.

N° 6

1997

Livres
7

Automated deduction : a basis for applications / ed. by Wolfgang Bibel,... and Peter H. Schmitt,...

Kluwer academic publ.

N° 8-10

1998

Livres
8

Dynamic worlds : from the frame problem to knowledge management / ed. by Remo Pareschi and Bertram Fronhöfer

Kluwer Academic

1999

Livres
9

Foundations of rational agency / ed. by Michael Wooldridge,... and Anand Rao,...

Kluwer academic

N° 14

1999

Livres
10

Fuzzy sets, logics and reasoning about knowledge / ed. by Didier Dubois,... Henri Prade,... and Erich Peter Klement,...

Kluwer Academic

N° 15

1999

Livres

Tri par :

sur 4

Page suivante
Dernière page

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

Sauvegarder votre recherche dans mes références

Titre de la recherche :

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 (32)

Exporter dans un tableau
Transférer pour un SGB

autres Ressources

Archives et manuscrits
Ressources électroniques

Affiner

Walton, Douglas Neil (1942-....)

Marx, Maarten

Goubault-Larrecq, Jean

Récupérer les notices

autres Ressources