skip to main content
Langue :
COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous COVID-19 : bibliothèque fermée. 

Nouveau service Retrait de documents sur rendez-vous Afficher les résultats avec :
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Logique. volume 1. Méthodes pour l'informatique fondamentale
Logique. volume 1. Méthodes pour l'informatique fondamentale
Material Type:
Livre 		Ajouter au Panier

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
Logique. volume 3. méthodes pour l'intelligence artificielle
Logique. volume 3. méthodes pour l'intelligence artificielle
Material Type:
Livre 		Ajouter au Panier

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(->>)

3
Approche logique de l'intelligence artificielle. 2. De la logique modale à la logique des bases de données
Approche logique de l'intelligence artificielle. 2. De la logique modale à la logique des bases de données
Material Type:
Livre 		Ajouter au Panier

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(->>)

4
Approche logique de l'intelligence artificielle. 1. de la logique classique à la programmation logique
Approche logique de l'intelligence artificielle. 1. de la logique classique à la programmation logique
Material Type:
Livre 		Ajouter au Panier

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(->>)

Refine Search Results

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

  1. Gribomont, Pascal
  2. Thayse, André
  3. Gochet, Paul
  4. Delsarte, Philippe
  5. THAYSE, A

sur ce sujet:

  1. Intelligence artificielle
  2. Logique
  3. Modalité (logique)
  4. Logique mathématique
  5. Programmation logique

Vous n'avez pas trouvé ce que vous cherchiez ?

Vous pouvez relancer votre recherche :
  • dans le SUDOC (catalogue français des bibliothèques de l'enseignement supérieur et de la recherche)
  • dans WorldCat (catalogue international)
  • dans Google Scholar
  • dans Isidore (moteur de recherche du CNRS)
  • dans BASE (Bielefeld Academic Search Engine)

Vous pouvez aussi :
  • Bibliothèque Diderot de Lyon 5, parvis René Descartes BP 7000 69342 Lyon cedex 07 FRANCE

Recherche dans les bases de données distantes en cours. Merci de patienter.