5th Conference on Automated Deduction : Les Arcs, France, July 8-11, 1980 / by W. Bibel, R. Kowalski
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 87Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1980Description: Online-RessourceISBN:- 9783540381402
- 511.3
No physical items for this record