Harald Ganzinger
ہیرالڈ گانزنگر (31 اکتوبر 1950، ورنک-3 جون 2004، ساربرکن) ایک جرمن کمپیوٹر سائنسدان تھا جس نے لیو باخمیر کے ساتھ مل کر سپرپوزیشن کیلکولس تیار کیا، جو (2007 تک) فرسٹ آرڈر منطق کے لیے زیادہ تر جدید ترین خودکار تھیوریم پروورز میں استعمال ہوتا ہے۔ انہوں نے 1978 میں میونخ کی ٹیکنیکل یونیورسٹی سے پی ایچ ڈی حاصل کی۔ 1991 سے پہلے وہ ڈورٹمنڈ یونیورسٹی میں کمپیوٹر سائنس کے پروفیسر تھے۔ پھر انہوں نے ساربرکن میں میکس پلانک انسٹی ٹیوٹ فار کمپیوٹر سائنس میں 1991 میں اس کی بنیاد کے فورا بعد شمولیت اختیار کی۔ 2004 تک وہ میکس پلانک انسٹی ٹیوٹ فار کمپیوٹر سائنس کے پروگرامنگ لاجکس ڈیپارٹمنٹ کے ڈائریکٹر اور سارلینڈ یونیورسٹی میں اعزازی پروفیسر رہے۔ ان کے تحقیقی گروپ نے ایس پی اے ایس ایس خودکار تھیوریم کہاوت تیار کی۔ خودکار تھیوریم ثابت کرنے میں ان کی اہم شراکت کے لیے انہیں 2004 میں (بعد از مرگ) ہربرانڈ ایوارڈ ملا۔ حوالہ جات ری رائٹ بیسڈ ایکویشنل تھیوریم پروونگ ود سلیکشن اینڈ سمپلیفیکیشن، لیو باخمیر اور ہیرالڈ گانزنگر، جرنل آف لاجک اینڈ کمپیوٹیشن 3 (4)، 1994۔ بیرونی روابط ہیرالڈ گانزنگر کا ذاتی ہوم پیج-Dec.7th، 2013 کا ورژن archive.org 1950 کی پیدائشوں پر محفوظ کیا گیا 2004 کی اموات جرمن کمپیوٹر سائنسدانوں کو ثابت کرنے والی خودکار تھیوریم میونخ کی ٹیکنیکل یونیورسٹی کے سابق طلباء ٹیکنیکل یونیورسٹی آف ڈورٹمنڈ کے تعلیمی عملہ میکس پلانک انسٹی ٹیوٹ برائے انفارمیٹکس میکس پلانک انسٹی ٹیوٹ کے ڈائریکٹرز