An edition of Automated deduction, CADE-15 (1998)
Automated deduction, CADE-15
15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
By International Conference on Automated Deduction (15th 1998 Lindau, Bavaria, Germany)
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
1998
Publisher
Springer
Language
eng
Pages
441