Home Advanced Search

Advanced Search - Page 1

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
  • DJVU
  • English
  • Year: 1987
  • Author: Dominique Snyers, André Thayse (auth.)
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions
  • PDF
  • English
  • Year: 1987
  • Author: Dominique Snyers, André Thayse (auth.)
P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
  • DJVU
  • English
  • Year: 1984
  • Author: André Thayse (auth.)
P-Functions and Boolean Matrix Factorization: A Unified Approach for Wired, Programmed and Microprogrammed Implementations of Discrete Algorithms
  • PDF
  • English
  • Year: 1984
  • Author: André Thayse (auth.)
Approche logique de l'intelligence artificielle Tome 3 : Du traitement de la langue à la logique des systèmes experts
  • DJVU
  • French
  • Year: 1993
  • Author: André Thayse
Approche logique de l'intelligence artificielle Tome 1 : De la logique classique à la programmation logique
  • DJVU
  • French
  • Year: 1993
  • Author: André Thayse
Approche logique de l'intelligence artificielle Tome 4 : De l'apprentissage artificiel aux frontières de l'IA
  • DJVU
  • French
  • Year: 1993
  • Author: André Thayse
Mechanical Behaviour of Materials: Volume II: Fracture Mechanics and Damage
  • PDF
  • English
  • Year: 2013
  • Author: Dominique François, André Pineau, André Zaoui (auth.)
Logique Vol. 3, Méthodes pour l'intelligence artificielle
  • PDF
  • French
  • Year: 2000
  • Author: Gochet, Paul; Gochet, Paul; Gribomont, Pascal; Thayse, André
Séminaire de Probabilités XXII
  • PDF
  • French-English
  • Year: 1988
  • Author: Dominique Bakry (auth.), Jacques Azéma, Marc Yor, Paul André Meyer (eds.)
search