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

Bibliographic Details
Corporate Authors:	Conference on Automated Deduction Les Arcs, Savoie, France, SpringerLink (Online service)
Other Authors:	Bibel, W., 1938-, Kowalski, Robert
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 1980.
Series:	Lecture notes in computer science ; 87.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses. preuve programme. démonstration automatique. Théorèmes > Démonstration automatique > Congrès. Logique symbolique et mathématique > Congrès. Automatic theorem proving. Logic, Symbolic and mathematical. Inteligência artificial. Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Description
Item Description:	Electronic resource.
Physical Description:	1 online resource (vii, 385 pages)
Bibliography:	Includes bibliographical references.
ISBN:	0387100091 (U.S. : pbk.) 9780387100098 (U.S. : pbk.) 3540100091 9783540100096