7th International Conference on Automated Deduction

7th International Conference on Automated Deduction

Proceedings

3/5
(1 votes)
Première édition
2006
Editeurs
Springer London· Limited
Langue
English

Livres

Livres similaires