Multivalued logics journal of applied nonclassical logics volume 9 n 1 1999 / Carnielli  

Public ISBD Titre : Multivalued logics journal of applied nonclassical logics volume 9 n 1 1999 Type de document : texte imprimé Auteurs : Carnielli Editeur : Hermes Science Année de publication : 1999 Collection : Histoire Importance : 183p. Format : 24cm. ISBN/ISSN/EAN : 978286601745 Note générale : index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Sciences pures  Sciences et techniques Résumé : Numéro consacré aux logiques multivaluées. Sont traitées notamment la théorie de la preuve, la théorie de modèles, ainsi que les relations avec d'autres logiques non classiques et ses applications à l'informatique. En ligne : //www.librairiedialogues.fr//ws/book/9782866017453/unimarc_utf-8 Multivalued logics journal of applied nonclassical logics volume 9 n 1 1999 [texte imprimé] / Carnielli . - Hermes Science, 1999 . - 183p. ; 24cm.. - (Histoire) . ISSN : 978286601745 index Langues : Français (fre) Langues originales : Français (fre) Mots-clés : Sciences pures  Sciences et techniques Résumé : Numéro consacré aux logiques multivaluées. Sont traitées notamment la théorie de la preuve, la théorie de modèles, ainsi que les relations avec d'autres logiques non classiques et ses applications à l'informatique. En ligne : //www.librairiedialogues.fr//ws/book/9782866017453/unimarc_utf-8

Réservation

Réserver ce document

Exemplaires (4)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
m8/897--1	m8/897	Périodique	Mathématiques et 'informatique	indéterminé	Disponible
m8/897--2	m8/897	Périodique	Mathématiques et 'informatique	indéterminé	Disponible
m8/897--3	m8/897	Périodique	Mathématiques et 'informatique	indéterminé	Disponible
m8/897--4	m8/897	Périodique	Mathématiques et 'informatique	indéterminé	Disponible

Recherche et filtrage d'information ingenierie des systemes d'information rsti isinis vol 7 n 12 20 / Berrut  

Public ISBD Titre : Recherche et filtrage d'information ingenierie des systemes d'information rsti isinis vol 7 n 12 20 Type de document : texte imprimé Auteurs : Berrut Editeur : Hermes Science Année de publication : 2002 Collection : Histoire ISBN/ISSN/EAN : 978274620519 Langues : Arabe (ara) Mots-clés : Sciences et techniques  Techniques et sciences appliquées En ligne : //www.librairiedialogues.fr//ws/book/9782746205192/unimarc_utf-8 Recherche et filtrage d'information ingenierie des systemes d'information rsti isinis vol 7 n 12 20 [texte imprimé] / Berrut . - Hermes Science, 2002. - (Histoire) . ISSN : 978274620519 Langues : Arabe (ara) Mots-clés : Sciences et techniques  Techniques et sciences appliquées En ligne : //www.librairiedialogues.fr//ws/book/9782746205192/unimarc_utf-8

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
aucun exemplaire

---

1 (1 - 2 / 2)