Robert Forbes McNaughton, Jr. (1924–2014) biçimsel diller, gramerler ve yeniden yazma sistemleri ve kelime birleştiricileri konularında birçok önemli katkıları olan Amerikalı bir matematikçi, mantıkçı ve bilgisayar bilimcisiydi. McNaughton aslen Brooklyn'liydi ve lisans derecesini Kolombiya Üniversitesi. Doktorasını tamamladı. Harvard Üniversitesi'nde; Sistemlerin Tutarlılığının Kurulması Üzerine adlı tezi Willard Van Orman Quine tarafından yönetildi. Penn Üniversitesi'nde ders verdi...
Diskografi Satın Al: Amazon'dan satın al
Oyna | Başlık | Film | Tip | Şarkı Satın Al |
---|---|---|---|---|
Contradictory | Borrower | Yazar | Amazon'dan satın al |