Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - W Bibel - Livres - Springer - 9780792351290 - 30 juin 1998
Si la couverture et le titre ne correspondent pas, le titre est correct.

W Bibel
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition

Prix
€ 190,99

Commandé depuis un entrepôt distant

Livraison prévue 9 - 19 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

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 :

rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.

481 pages, 1, black & white illustrations

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 30 juin 1998
ISBN13 9780792351290
Éditeurs Springer
Pages 481
Dimensions 160 × 242 × 33 mm   ·   884 g
Langue et grammaire Anglais  
Éditeur Bibel, Wolfgang
Éditeur Schmitt, P.H.

Plus par W Bibel

Afficher tout

Voir tous les W Bibel ( par ex. Paperback Book et Hardcover Book )