7th International Conference on Automated Deduction, Napa, Calif., May 14-16, 1984: proceedings by International Conference on Automated Deduction, Shostak, Robert E. fromLecture Notes in Computer Science 0 Type: Book
7th international conference on automated deduction: Napa, California, USA, may 14-16, 1984: proceedin… by Shostak, Robert E., International Conference on Automated Deduction, Napa) 0 Type: Book
7th international conference on Automated deduction: proceedings : Napa, California, May 14-16, 1984 by Shostak, Robert E., International conference on automated deduction, Napa, Californie, Etats-Unis) fromLecture Notes in Computer Science 0 Type: Book
7th International Conference on Automated Deduction, Napa, Calif., May 14-16, 1984: proceedings by Shostak, Robert E., International Conference on Automated Deduction, (Napa (CA)) fromLecture Notes in Computer Science 0 Type: Book
7th international conference on automated deduction: Napa, California, USA, May 14-16, 1984 : proceedi… by International Conference on Automated Deduction, Napa, Calif.), Shostak, Robert E. fromLecture Notes in Computer Science 0 Type: Book
7th Seventh International Conference on Automated Deduction: Napa, Calif., USA, May 14-16, 1984 ; proceedings by International Conference on Automated Deduction (7, 1984, Napa, Calif.), Shostak, Robert E. fromLecture Notes in Computer Science 0 Type: Book
