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

---

1 (1 - 1 / 1)