Claude Kirchnerの本 - BookPine

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I

Samson Abramsky

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II

Samson Abramsky

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Formal to Practical Security: Papers Issued from the 2005-2008 French-Japanese Collaboration

Véronique Cortier

Rewriting Techniques and Applications: 5th International Conference, Rta-93, Montreal, Canada, June 16-18, 1993. Proceedings

Rewriting Techniques and Applications: 5th International Conference, Rta-93, Montreal, Canada, June 16-18, 1993. Proceedings

Claude Kirchner

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Automated Deduction - CADE-15: 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998, Proceedings

Claude Kirchner

Unification

Unification

Claude Kirchner