WikiDer > Ларри Травис
Larry Travis
 | Бұл мақалада бірнеше мәселе бар. Өтінемін көмектесіңіз оны жақсарту немесе осы мәселелерді талқылау талқылау беті. (Бұл шаблон хабарламаларын қалай және қашан жою керектігін біліп алыңыз) (Бұл шаблон хабарламасын қалай және қашан жою керектігін біліп алыңыз)
|
Ларри Э. Травис | |
|---|---|
| Туған | 5 маусым 1929 ж |
| Өлді | 2017 жылғы 14 тамыз (88 жаста) |
| Ғылыми мансап | |
| Өрістер | Сараптамалық жүйелер |
| Мекемелер | Висконсин-Мэдисон университеті |
| Докторантура кеңесшісі | Авраам Робинсон |
| Докторанттар | Цзэйвэй Хан |
Ларри Э. Травис (5 маусым 1929 - 14 тамыз 2017 ж.) Ретінде Информатика кафедрасында эмеритус профессоры болды Висконсин университеті - Мэдисон.[1] Ол Висконсин Университетінде 1964 ж. Бастап (Ph.D докторантурасына дейін екі жыл) 1994 ж. Дейін профессорлық-оқытушылық қызметін атқарды. бастап Калифорния университеті, Лос-Анджелес 1966 жылы «Сақталған бағдарлама тұжырымдамасын логикалық талдау: рационалды оқытудың мүмкін теориясына қадам» атты диссертациясымен.
Әдебиеттер тізімі
- ^ «Естелікте: профессор Эмеритус Ларри Травис». UW-Мэдисон компьютерлік ғылымдар бөлімі. 25 қыркүйек 2017 ж. Алынған 2018-02-12.
Сыртқы сілтемелер
| P ≟ NP | Қатысты бұл өмірбаяндық мақала информатик Бұл бұта. Сіз Уикипедияға көмектесе аласыз оны кеңейту. |