5th Conference on Automated Deduction :  Les Arcs, France, July 8-11, 1980 / 
 Fifth Conference on Automated Deduction 
ed. by W. Bibel and R. Kowalski. 
 - Berlin [etc.] :  Springer-Verlag,  1980. 
 - VII, [1], 385 s. :  il. ;  1980. 
 - Lecture Notes in Computer Science ;  87 .
 - Lecture Notes in Computer Science  87 .
<br/><br/>Bibliogr. przy rozdz. 
<br/><br/>
<br/><br/><label>ISBN: </label>3540100091 0387100091 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatyczne dowodzenie twierdzeń--konferencje.<br/>Logika symboliczna i matematyczna--konferencje.