1
|
Material Type: Livre
|
|
Logique. volume 1. Méthodes pour l'informatique fondamentale
Gochet, Paul (1932-2011) ; Gribomont, Pascal
Appartient à la collection : Langue, raisonnement, calcul (Paris), ISSN 0988-0569
Paris. Hermès, impr. 1990, cop. 1990
Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)
|
2
|
Material Type: Livre
|
|
Logique. Volume 2. Méthodes formelles pour l'étude des programmes
Gochet, Paul (1932-2011) ; Gribomont, Pascal
Appartient à la collection : Langue, raisonnement, calcul (Paris), ISSN 0988-0569
Paris. Hermès, cop. 1994
Disponible(->>)
|
3
|
Material Type: Livre
|
|
Logique. volume 3. méthodes pour l'intelligence artificielle
Gochet, Paul (1932-2011) ; Gribomont, Pascal ; Thayse, André (1940-...)
Paris. Hermes science publications, DL 2000, cop. 2000
Disponible(->>)
|
4
|
Material Type: Livre
|
|
Approche logique de l'intelligence artificielle. 1. de la logique classique à la programmation logique
Thayse, André (1940-...) ; Gribomont, Pascal ; Louis, Georges (1960-...) ; Delsarte, Philippe (Collab.)
Appartient à la collection : Dunod informatique, ISSN 0291-1604
Paris. Dunod, DL 1988
Disponible - la bibliothèque possède plusieurs exemplaires de ce document(->>)
|
5
|
Material Type: Livre
|
|
Approche logique de l'intelligence artificielle. 2. De la logique modale à la logique des bases de données
Thayse, André (1940-...) ; Gribomont, Pascal ; Hulin, Guy ; Delsarte, Philippe (Collab.)
Appartient à la collection : Dunod informatique, 27, ISSN 0291-1604
Paris. Dunod, DL 1989, cop. 1989
Disponible(->>)
|