5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980

Bibel, Wolfgang; Kowalski, R.

Details

Published by: Springer

Publication Date: 1980-06-01

Format: Paperback

ISBN-13: 9783540100096

DOI: 10.1007/3-540-10009-1

Dimensions: 233.0cm x155.0cm

Pages: 388.0