{"version":"1.0","type":"rich","provider_name":"EbookNetworking","provider_url":"https://www.ebooknetworking.net","title":"5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87)","author_name":"Savoie, France) Conference on Automated Deduction 1980 (Les Arcs, W. Bibel, Robert Kowalski","thumbnail_url":"https://www.ebooknetworking.net/books/038/710/big0387100091.jpg","thumbnail_width":330,"thumbnail_height":500,"html":"<a href=\"https://www.ebooknetworking.net/books_detail-0387100091.html\">5th Conference on Automated Deduction, Les Arcs, France, 1980 (Lecture Notes in Computer Science, 87)</a>","width":400,"height":300}