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 - 9789048150526 - 9 décembre 2010
Si la couverture et le titre ne correspondent pas, le titre est correct.

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 1998 edition

Prix
€ 143,99

Commandé depuis un entrepôt distant

Livraison prévue 7 - 15 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

347 pages, biography

Médias Livres     Paperback Book   (Livre avec couverture souple et dos collé)
Validé 9 décembre 2010
ISBN13 9789048150526
Éditeurs Springer
Pages 347
Dimensions 156 × 234 × 18 mm   ·   485 g
Éditeur Bibel, Wolfgang
Éditeur Schmitt, P. H.

Plus par W Bibel

Afficher tout