Automated deduction - CADE-12 : 12th International Conference on Automated Deduction, Nancy, France, June 26-July 1, 1994 : proceedings
Alan Bundy (ed.)
Bok Engelsk 1994 International Conference on Automated Deduction
Annen tittel | |
---|---|
Utgitt | Berlin : Springer , c1994
|
Omfang | XVI, 848 s. : ill.
|
Emner | |
Dewey | |
ISBN | 0387581561. - 3540581561
|