羅伯特·科瓦爾斯基
此條目沒有列出任何參考或來源。 (2021年9月14日) |
羅伯特·安東尼·科瓦爾斯基（Robert Anthony Kowalski，1941年5月15 日—）是一位美籍英籍邏輯學家和計算機科學家，他的研究涉及開發面向人類的計算模型和人類思維的計算模型。他的大部分職業生涯都在英國度過。科瓦爾斯基長期任教愛丁堡大學和帝國理工學院，是Prolog語言的主要開發者之一，邏輯編程先驅。
| 羅伯特·科瓦爾斯基 | |
|---|---|
 | |
| 出生 | 1941年5月15日 美國康乃狄克州布里奇波特 |
| 知名於 | 邏輯編程 Prolog語言 霍恩子句 |
| 科學生涯 | |
| 機構 | 愛丁堡大學 帝國理工學院 |
經歷
編輯他曾就讀於芝加哥大學（數學學士學位，1963 年）、史丹佛大學（數學碩士學位，1966 年）、和愛丁堡大學（計算機科學博士學位，1970 年）。