Automated deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings


International Conference on Automated Deduction
Bok Engelsk 1994

Detaljer

Bibliotek som har denne