10th International Conference on Automated Deduction
Prijzen vanaf
127,37
Uitgelicht
|
127,37 |
Naar shop
|
| VERGELIJK ALLE AANBIEDERS (1) | ||
Beschrijving
Bol Partner
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic.
Vergelijk aanbieders (1)
Shop
Prijs
Verzendkosten
Totale prijs
Beschrijving
(1)
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic.
Productspecificaties
| EAN |
|
|---|---|
| Maat |
|
Prijshistorie
Prijzen voor het laatst bijgewerkt op:
Gerelateerde resultaten
Uitgelichte Keuze
127,37
