Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - Livres - Kluwer Academic Publishers - 9780792340171 - 30 avril 1996
Si la couverture et le titre ne correspondent pas, le titre est correct.

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

Zbigniew Stachniak

Prix
€ 119,99

Commandé depuis un entrepôt distant

Livraison prévue 25 juil. - 6 août

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series 1996 edition

This text develops an algebraic theory of resolution proof systems, focusing on the problems of proof theory, representation and efficiency of the deductive process.

208 pages, biography

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 30 avril 1996
ISBN13 9780792340171
Éditeurs Kluwer Academic Publishers
Pages 208
Dimensions 156 × 234 × 14 mm   ·   498 g
Langue et grammaire English  
Afficher tout

Plus par Zbigniew Stachniak

Voir tous les Zbigniew Stachniak ( par ex. Hardcover Book et Paperback Book )