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.)
Boolean Calculus of Differences
  • PDF
  • English
  • Year: 1981
  • Author: André Thayse (auth.), André Thayse (eds.)
Boolean Calculus of Differences
  • DJVU
  • English
  • Year: 1981
  • Author: André Thayse (auth.), André Thayse (eds.)
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
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
Artificial Evolution: European Conference, AE 95 Brest, France, September 4–6, 1995 Selected Papers
  • DJVU
  • English
  • Year: 1996
  • Author: Thomas Bäck (auth.), Jean-Marc Alliot, Evelyne Lutton, Edmund Ronald, Marc Schoenauer, Dominique Snyers (eds.)
search