Logic Programming and Automated Reasoning : International Conference LPAR '92, St.Petersburg, Russia, July 15-20, 1992. Proceedings
تاريخ النشر: 01/07/1992
الناشر: Springer
ترجمة: Andrei Voronkov
لغة: إنكليزي
طبعة: 1
حجم: 16×23
عدد الصفحات: 532
مجلدات: 1
يحتوي على: صور/رسوم
ردمك: 9783540557272