8th International Conference on Automated DeductionJörg H. Siekmann

8th International Conference on Automated Deduction

Name: 8th International Conference on Automated Deduction
ISBN: 9783540167808

איפה לקנות

המחיר באמזון משתנה מדי יום, אז הכי נכון לראות אותו שם ברגע הקנייה.

פרטי הספר

מקור הנתונים: Wikidata