Kapur,D. Ed.
Automated Deduction - CADE 11 11th International Conference Proc.,Saratoga Springs,NY,1992 - Berlin Springer Verlag 1992 - 793 - Lecture notes in artificial intelligence ; 00607 .
3540556028
Automation
681 LNCS
Automated Deduction - CADE 11 11th International Conference Proc.,Saratoga Springs,NY,1992 - Berlin Springer Verlag 1992 - 793 - Lecture notes in artificial intelligence ; 00607 .
3540556028
Automation
681 LNCS