skip to main content
Langue :
Afficher les résultats avec :
N'afficher que
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Calcul différentiel pour les langues de la logique : théorie et applications
Material Type:
Livre
Ajouter au Panier

Calcul différentiel pour les langues de la logique : théorie et applications

Thayse, André (1940-...)

Paris. Hermès science publ.. Lavoisier, impr. 2004, cop. 2004

Disponible(->>)

2
P-Functions and Boolean Matrix Factorization : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
Material Type:
ebook
Ajouter au Panier

P-Functions and Boolean Matrix Factorization : A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms

Thayse, André (1940-...)

Lecture Notes in Computer Science ; 175

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

3
Boolean Calculus of Differences
Material Type:
ebook
Ajouter au Panier

Boolean Calculus of Differences

Thayse, André (1940-...) (Ed.)

Lecture Notes in Computer Science ; 101

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

4
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions
Material Type:
ebook
Ajouter au Panier

From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions

Snyers, Dominique ; Thayse, André (1940-...)

Lecture Notes in Computer Science ; 271

Berlin, Heidelberg. Springer-Verlag. Springer e-books, 2005

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

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

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

8
Mathématiques, physique, métaphysique : les voies du réel
Material Type:
Livre
Ajouter au Panier

Mathématiques, physique, métaphysique : les voies du réel

Thayse, André (1940-...) ; Thayse-Foubert, Marie-Hélène (Collab.) ; Mawet, Philippe (19..-...) (Préf.)

Appartient à la collection : Collection "Sciences et Enjeux", 9, ISSN 1780-7573

Louvain-la-Neuve. Academia-Bruylant. [Paris]. L'Harmattan, DL 2018

Disponible(->>)

Refine Search Results

N'afficher que

  1. Ressources en ligne (3)

Affiner vos résultats

Type de ressource 

  1. Livres  (5)
  2. ebooks  (3)
  3. Autres open sub menu

Localisation 

  1. Descartes  (4)
  2. Monod  (2)
  3. Autres open sub menu

Date de parution 

Affiner à partir de Affiner jusqu'à
  1. Avant 1989  (1)
  2. 1989 à 1999  (1)
  3. 2000 à 2003  (1)
  4. 2004 à 2005  (4)
  5. Après 2005  (1)
  6. Autres open sub menu

Langue 

  1. Français  (5)
  2. Anglais  (3)
  3. Autres open sub menu

Elargir la recherche à tous les documents

Elargir la recherche à tous les documents

de cet auteur:

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

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 :

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