Catalogue en ligne Bib'Doc

Iinformatique Théorique: Logique et démonstration automatique

Titre :

Iinformatique Théorique: Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre

Type de document :

texte imprimé

Editeur :

Année de publication :

2012

Collection :

Importance :

209 p.

Présentation :

ill.

Format :

26 cm

ISBN/ISSN/EAN :

978-2-7298-7229-8

Catégories :

Code-barres	Cote	Support	Localisation	Section	Disponibilité
FIN 7498	21-12-E-20/01	Livre	Bibliothèque Universitaire Centrale	MI	Exclu du prêt
FIN 7499	21-12-E-20/02	Livre	Bibliothèque Universitaire Centrale	MI	Disponible
FIN 7500	21-12-E-20/03	Livre	Bibliothèque Universitaire Centrale	MI	Disponible
FIN 7501	21-12-E-20/04	Livre	Bibliothèque Universitaire Centrale	MI	Disponible
FIN 7502	21-12-E-20/05	Livre	Bibliothèque Universitaire Centrale	MI	Disponible