Couverture : First-order logic and automated theorem proving

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

First-order logic and automated theorem proving

Melvin Chris Fitting

Autre Première publication : 1990

Sujets

Théorèmes -- Démonstration automatique

Éditions (1)

Couverture : First-order logic and automated theorem proving

First-order logic and automated theorem proving

Springer (New York) · 1990 · 9783540972334