Logic programming and automated reasoning
International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992
كتاب من تأليف: Voronkov, A. (1959-) ; International Conference LPAR '92 (Saint Petersburg, Russia ; نشر في: 1992
طبعة:
New York:
Springer-Verlag
Springer-Verlag
لغة:
إنجليزية
الوصف المادي:
xiv, 509 p. ill.
;25 cm
ISBN: 038755727X
