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.)
Logique Vol. 3, Méthodes pour l'intelligence artificielle
  • PDF
  • French
  • Year: 2000
  • Author: Gochet, Paul; Gochet, Paul; Gribomont, Pascal; Thayse, André