Logique : volume 1 : Méthodes pour l'informatique fondamentale

Logique : volume 1 Méthodes pour l'informatique fondamentale

Enregistré dans:
Détails bibliographiques
Auteurs principaux : Gochet Paul (Auteur), Gribomont Pascal (Auteur)
Format : Livre
Langue : français
Titre complet : Logique. volume 1, Méthodes pour l'informatique fondamentale / Paul Gochet, Pascal Gribomont
Publié : Paris : Hermès , DL 1990
Description matérielle : 1 volume (456 p.)
Collection : Langue, raisonnement, calcul (Paris)
Sujets :
Probabilités
Prédicat (logique)
Théorie de la démonstration
Intelligence artificielle
Logique
Calcul des prédicats
Informatique
Logique mathématique

BU Censive

Informations d'exemplaires de BU Censive
‌ Cote Prêt Statut
Bât. Censive, 1er étage, salle 111 L GOC (11965) Empruntable Disponible

BU Lettres

Informations d'exemplaires de BU Lettres
‌ Cote Prêt Statut
Document à demander aux points d'accueil 726309 Empruntable Disponible

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Rez-de-chaussée, salle 2 004.1 GOC Empruntable Disponible