羅伯特·安東尼·科瓦爾斯基(Robert Anthony Kowalski,1941年5月15 日)是一位美籍英籍邏輯學家計算機科學家,他的研究涉及開發面向人類的計算模型和人類思維的計算模型。他的大部分職業生涯都在英國度過。科瓦爾斯基長期任教愛丁堡大學帝國理工學院,是Prolog語言的主要開發者之一,邏輯編程先驅。

Quick Facts 羅伯特·科瓦爾斯基, 出生 ...
羅伯特·科瓦爾斯基
出生 (1941-05-15) 1941年5月15日83歲)
美國康涅狄格州布里奇波特
知名於邏輯編程
Prolog語言
霍恩子句
科學生涯
機構愛丁堡大學
帝國理工學院
Close

經歷

他曾就讀於芝加哥大學(數學學士學位,1963 年)、斯坦福大學(數學碩士學位,1966 年)、和愛丁堡大學(計算機科學博士學位,1970 年)。

Wikiwand in your browser!

Seamless Wikipedia browsing. On steroids.

Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.

Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.