Couverture : Computational logic

Connectez-vous pour ajouter ce livre à votre bibliothèque.

Computational logic

Jean-Louis Lassez, Gordon Plotkin

Autre Première publication : 1991

Sujets

Inférence Théorèmes -- Démonstration automatique Programmation logique

Éditions (1)

Couverture : Computational logic

Computational logic : essays in honor of Alan Robinson

MIT press (Cambridge (Mass.)) · 1991 · 9780262121569