5th Conference on automated deduction, Les Arcs, France, July 8-11, 1980
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Book |
Language: | English |
Published: |
Berlin
Springer-Verlag
1980.
|
Subjects: |
Corporate Author: | |
---|---|
Other Authors: | , |
Format: | Book |
Language: | English |
Published: |
Berlin
Springer-Verlag
1980.
|
Subjects: |