International Conference on Automated Deduction (8th: Oxford
8th International Conference on Automated Deduction /Oxford, July 27-August 1, 1986; edited by Jorg H. Siekmann - Berlin Springer-Verlag 1986 - ix, 708p
3540167803
Systems
001.6 / INT
8th International Conference on Automated Deduction /Oxford, July 27-August 1, 1986; edited by Jorg H. Siekmann - Berlin Springer-Verlag 1986 - ix, 708p
3540167803
Systems
001.6 / INT