Home Advanced Search

Advanced Search - Page 1

Logique. Volume 3, Methodes pour l'intelligence artificielle
  • DJVU
  • French
  • Year: 2000
  • Author: Paul Gochet; Pascal Gribomont; Andre Thayse
Boolean Calculus of Differences
  • PDF
  • English
  • Year: 1981
  • Author: André Thayse (auth.), André Thayse (eds.)
Logique, vol.3: methodes pour l'intelligence artificielle
  • DJVU
  • French
  • Year: 2000
  • Author: Gochet P., Gribomont P., Thayse A.
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.)