![Computer science / Logic in computer science / Reasoning / Artificial intelligence / Automated reasoning / Max Planck Institute for Computer Science / Logic programming / International Joint Conference on Automated Reasoning / Federated Logic Conference / Theoretical computer science / Applied mathematics / Automated theorem proving Computer science / Logic in computer science / Reasoning / Artificial intelligence / Automated reasoning / Max Planck Institute for Computer Science / Logic programming / International Joint Conference on Automated Reasoning / Federated Logic Conference / Theoretical computer science / Applied mathematics / Automated theorem proving](https://www.pdfsearch.io/img/37adeb7e2acc90ac8900c67d5f552285.jpg) Date: 2013-01-20 13:14:01Computer science Logic in computer science Reasoning Artificial intelligence Automated reasoning Max Planck Institute for Computer Science Logic programming International Joint Conference on Automated Reasoning Federated Logic Conference Theoretical computer science Applied mathematics Automated theorem proving | | Curriculum vitæ Miki (Nicolas) HERMANN LIX (CNRS, UMR 7161) ´ Ecole Polytechnique
Document is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 90,87 KB
|