Title 5th Conference on automated deduction : Les Arcs, France, July 8-11, 1980 / ed. by W. Bibel and R. Kowalski

Published Berlin : Springer-Verlag, ©1980

Click on the following:
Springer eBooks

Copies

Description 1 online resource (vii, 385 pages) : illustrations Series Conference on automated deduction ; 5 Lecture notes in computer science ; 87. 1611-3349 Conference on automated deduction ; 5 Bibliography With bibliogr. references and index Subject Automatic theorem proving -- Congresses Logic, Symbolic and mathematical -- Congresses Automatic theorem proving Logic, Symbolic and mathematical Genre/Form Conference papers and proceedings Congressen (vorm) Form Electronic book Author Bibel, W., 1938- Kowalski, Robert (Robert A.) Conference on Automated Deduction (5 : 08-07-1980 - 11-07-1980 : Les Arcs, France) ISBN 9783540381402 3540381406

  Permalink