Skip to main content

Using sophisticated models in resolution theorem proving

0.0
Automatic theorem provingData processingMathematicsMathematical models

ISBN

0387102310

Using sophisticated models in resolution theorem proving est un automatic theorem proving, data processing book de David M. Sandford.

Découvrez Using sophisticated models in resolution theorem proving de David M. Sandford, automatic theorem proving.

À propos de l'auteur

David M. Sandford est l'auteur de Using sophisticated models in resolution theorem proving. Parcourez son catalogue complet sur Booklogr.

Éditions et Formats

Critiques

Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.

Se connecter Connectez-vous pour écrire une critique

Questions Fréquentes

Quel est le genre de Using sophisticated models in resolution theorem proving ?+

Using sophisticated models in resolution theorem proving est un livre de Automatic theorem proving, Data processing, Mathematics, Mathematical models.

Qui a écrit Using sophisticated models in resolution theorem proving ?+

Using sophisticated models in resolution theorem proving a été écrit par David M. Sandford.