مشخصات کتاب

Automatisierung von Terminierungsbeweisen

ویرایش: [1 ed.] 
نویسندگان: Christoph Walther (auth.),  Wolfgang Bibel (eds.)  
سری: Artificial Intelligence / Künstliche Intelligenz 
ISBN (شابک) : 9783528047719, 9783322854049 
ناشر: Vieweg+Teubner Verlag 
سال نشر: 1991 
تعداد صفحات: 253
[263] 
زبان: German 
فرمت فایل : PDF (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) 
حجم فایل: 10 Mb 

در صورت تبدیل فایل کتاب Automatisierung von Terminierungsbeweisen به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.

توجه داشته باشید کتاب اتوماسیون شواهد فسخ نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.

توضیحاتی درمورد کتاب به خارجی

نظرات کاربران

کتاب های تصادفی

دانلود کتاب Issues in Corporate Governance and Finance, Volume 12 (Advances in Financial Economics)

دانلود کتاب El Obstáculo es el camino. El arte inmemorial de convertir las pruebas en triunfo (Para estar bien) (Spanish Edition)

دانلود کتاب Hepatologie, gastro-entéroloige, chirurgie viscérale

دانلود کتاب A Reference Grammar of Thai

دانلود کتاب Protecting Your Child from Sexual Abuse: What You Need to Know to Keep Your Kids Safe