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

Contributor(s):

Material type: Text

TextSeries: Lecture notes in computer science ; 87. | Conference on automated deduction ; 5.Publication details: Berlin : Springer-Verlag, ©1980.Description: 1 online resource (vii, 385 pages) : illustrationsContent type:

Media type:

Carrier type:

ISBN:

Subject(s):

Genre/Form:

Additional physical formats: Print version:: 5th Conference on automated deductionDDC classification:

LOC classification:

Other classification:

Online resources:

Holdings
Item type	Current library	Collection	Call number	Status	Date due	Barcode	Item holds
eBook	e-Library	eBook LNCS		Available

Total holds: 0

With bibliogr. references and index.