Home / Authors / France) International Conference on Automated Deduction 1994 (Nancy, Alan Bundy

Books by France) International Conference on Automated Deduction 1994 (Nancy, Alan Bundy

All books by this author

1 books found
Automated Deduction- Cade-12: 12th International Conference on Automated Deduction Nancy, France, June 26-July 1, 1994 : Proceedings
Automated Deduction- Cade-12: 12th International Conference…
By: France) International Conference on Automated Deduction 1994 (Nancy, Alan Bundy
View Details