خرید و دانلود نسخه کامل کتاب Graph-Based Proof Procedures for Horn Clauses

رویه های اثبات مبتنی بر نمودار برای بندهای شاخ

Graph-Based Proof Procedures for Horn Clauses

نویسنده: Stan Raatz (auth.)

ناشر: Birkhäuser Boston

سال انتشار: 1990

تعداد صفحات: 158

زبان: English

فرمت: pdf - قابل تبدیل به سایر فرمت ها

حجم فایل: 7 مگابایت