Automated deduction CADE-11
11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings
كتاب من تأليف: international conference on automated deduction (11 ; 1992 ; Saratoga Springs, New York, Etats-Unis) ; Kapur, Deepak ; نشر في: cop. 1992
طبعة:
Berlin; New York:
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
XV-793 p. ill.
;24 cm
ISBN: 3540556028