Date: 2013-01-20 13:14:01

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

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.

File Size: 90,87 KB