9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).
Title:
9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988 : proceedings / E. Lusk, R. Overbeek (eds.).
Conference Author:
Publication:
Berlin ; New York : Springer-Verlag, [1988]
Copyright:
©1988
Publication Date:
1988
ISBN:
9780387193434
Bibliography Note:
Includes bibliographies.
Content Type:
text
Carrier Type:
volume
Added Title:
Ninth International Conference on Automated Deduction.
Language:
English
