5th Conference on Automated Deduction, Les Arcs, France, 1980 /
edited by W. Bibel and R. Kowalski.

Description

Meeting Name

Conference on Automated Deduction Les Arcs, Savoie, France) 1980 : (5th :

Related Names

Kowalski, Robert.
Bibel, W., 1938-

Language(s)

English

Published

Berlin ; Springer-Verlag, c1980.

Subjects

Logic, Symbolic and mathematical > Logic, Symbolic and mathematical / Congresses.
Automatic theorem proving > Automatic theorem proving / Congresses.

Physical Description

vii, 385 p. : ill. ; 25 cm.

ISBN

0387100091 (U.S.)

Locate a Print Version

Find in a library service is not available from this catalog. Search Worldcat

Viewability