Automated deduction, CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992 : proceedings /

محفوظ في:

التفاصيل البيبلوغرافية
مؤلف مشترك:	International Conference on Automated Deduction Saratoga Springs, N.Y.
مؤلفون آخرون:	Kapur, Deepak
التنسيق:	وقائع المؤتمر كتاب
اللغة:	English
منشور في:	Berlin ; New York : Springer-Verlag, c1992.
سلاسل:	Lecture notes in computer science ; 607. Lecture notes in computer science. Lecture notes in artificial intelligence.
الموضوعات:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

تفاصيل المقتنيات من CARM 1 Store
رقم الطلب:	A2:AM07E0 C05496
النسخة 1	متاح أحجز النسخة

مواد مشابهة