Matt Kaufmann - Matt Kaufmann

Matt Kaufmann
Matt Kaufmann
	Matt Kaufmann (o'ngda) bilan J Strother Mur 2006
Millati	Qo'shma Shtatlar
Kasb	Kompyutershunos
Ish beruvchi	Ostindagi Texas universiteti
Ma'lum	Lisp dasturlash tili, Boyer-Mur teoremasini tasdiqlovchi
Mukofotlar	ACM Dasturiy ta'minot tizimi mukofoti

Matt Kaufmann Kompyuter fanlari bo'limining katta ilmiy xodimi Ostindagi Texas universiteti, Qo'shma Shtatlar. U 2005 yil sovg'asi olgan ACM Dasturiy ta'minot tizimi mukofoti bilan birga Robert S. Boyer va J Strother Mur, uning ishi uchun Boyer-Mur teoremasini tasdiqlovchi.^[1]

Adabiyotlar

^ Mett Kaufman: Boyer-Mur teoremasini tasdiqlovchi (2005) Arxivlandi 2009-08-27 da Orqaga qaytish mashinasi, Hisoblash texnikasi assotsiatsiyasi, 2005.

Tashqi havolalar

Matt Kaufmannning bosh sahifasi
Matt Kaufmann da DBLP Bibliografiya serveri

P ≟ NP

Bilan bog'liq ushbu biografik maqola kompyutershunos a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.

Qo'shma Shtatlardagi kompyuter mutaxassisi bilan bog'liq ushbu biografik maqola a naycha. Siz Vikipediyaga yordam berishingiz mumkin uni kengaytirish.

[1] Mett Kaufman: Boyer-Mur teoremasini tasdiqlovchi (2005) Arxivlandi 2009-08-27 da Orqaga qaytish mashinasi, Hisoblash texnikasi assotsiatsiyasi, 2005.

[1]