Premium
Siekmann, J. H. (Ed.): 8th International Conference on Automated Deduction. Oxford, England, July 27–August 1, 1986, Proceedings. Lecture Notes in Computer Science Vol. 230. Springer‐Verlag, Berlin – Heidelberg – New York – Tokyo 1986, IX, 708 pp., DM 96,– ISBN 3‐540‐16780‐3
Author(s) -
Seese D.
Publication year - 1988
Publication title -
biometrical journal
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.108
H-Index - 63
eISSN - 1521-4036
pISSN - 0323-3847
DOI - 10.1002/bimj.4710300223
Subject(s) - library science , citation , history , operations research , computer science , mathematics