9th International Conference on Automated Deduction : Argonne, Illinois, USA, May 23-26, 1988. Proceedings / by Ewing Lusk, Ross Overbeek
Contributor(s): Resource type: Ressourcentyp: Buch (Online)Book (Online)Language: English Series: SpringerLink Bücher | Lecture notes in computer science ; 310Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 1988Description: Online-RessourceISBN:- 9783540392163
No physical items for this record