Automated Deduction - A Basis for Applications Volume I Foundations - Calculi an
162,82 €
Rather than restricting the interest to purely academic research, the focus now is on the investigation of problems derived from realistic applications. This reflects the strong conviction that automated deduction is on the verge of being fully included in the evolution of technology.
Jetzt bei Ebay: