Resolution proof systems
Artificial intelligenceAutomatic theorem provingLogic, Symbolic and mathematicalSymbolic and mathematical Logic
Browse all genres - ISBN
- 0792340175
Resolution proof systems est un artificial intelligence, automatic theorem proving book de Zbigniew Stachniak.
Découvrez Resolution proof systems de Zbigniew Stachniak, artificial intelligence.
À propos de l'auteur
est l'auteur de Resolution proof systems. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de Zbigniew Stachniak →É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 Resolution proof systems ?+
Resolution proof systems est un livre de Artificial intelligence, Automatic theorem proving, Logic, Symbolic and mathematical, Symbolic and mathematical Logic.
Qui a écrit Resolution proof systems ?+
Resolution proof systems a été écrit par Zbigniew Stachniak.