Couverture : A computational logic handbook

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

A computational logic handbook

Robert S. Boyer, Strother J. Moore

Autre Première publication : 1988

Sujets

Logique mathématique Mathématiques -- Fondements Théorèmes -- Démonstration automatique

Éditions (1)

Couverture : A computational logic handbook

A computational logic handbook

Academic press (Boston) · 1988 · 9780121229528