Robert Kowalski
http://dbpedia.org/resource/Robert_Kowalski an entity of type: Thing
Robert Anthony Kowalski také Bob Kowalski (* 15. května 1941 Bridgeport, Connecticut) je americký vědec zabývající se logikou a informatikou. Jeho předci jsou polského původu. Převážnou část své kariéry strávil ve Spojeném království. Jeho jméno je nejvíce spojováno s vývojem logického programování, především procedurální interpretací Hornových klauzulí. Byl jedním z prvních vývojářů abduktivního logického programování, ve kterém jsou logické programy rozšířeny o integritní omezení a nedefinované abduktivní predikáty.
rdf:langString
روبرت كوالسكي (بالإنجليزية: Robert Kowalski) هو عالم حاسوب وفيلسوف ورياضياتي ومهندس بريطاني، ولد في 15 مايو 1941 في بريدجبورت في الولايات المتحدة.
rdf:langString
Robert Anthony Kowalski (* 15. Mai 1941 in Bridgeport (Connecticut)) ist ein US-amerikanischer Informatiker und Logiker.
rdf:langString
Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom.
rdf:langString
Robert Antony Kowalski (15 mei 1941, Bridgeport, Connecticut) is een Brits wiskundige en computerwetenschapper. Hij is het meest bekend om zijn werk aan de procedurele interpretatie van en staat daarmee aan de wieg van de taal Prolog, maar ook zijn werk aan , waarbij computerprogramma's wiskundige stellingen bewijzen en , waarmee oorzaken en gevolgen wiskundig kunnen worden beschreven en zijn werk aan gelden als toonaangevend.
rdf:langString
Robert Anthony Kowalski (Bridgeport, 15 maggio 1941) è un informatico e logico statunitense. La cui ricerca si occupa di sviluppare sia modelli di calcolo orientati all'uomo sia modelli computazionali del pensiero umano. Ha trascorso la maggior parte della sua carriera nel Regno Unito.
rdf:langString
Роберт Энтони Ковальски (15 мая 1941) — американский логик и ученый, который провел большую часть своей карьеры в Великобритании.
rdf:langString
Роберт Ентоні Ковальський (нар. 15 травня 1941) — американський логік і вчений, який провів більшу частину своєї кар'єри в Сполученому Королівстві.
rdf:langString
罗伯特·安东尼·科瓦尔斯基（Robert Anthony Kowalski，1941年5月15 日－）是一位美籍英籍逻辑学家和计算机科学家，他的研究涉及开发面向人类的计算模型和人类思维的计算模型。他的大部分职业生涯都在英国度过。科瓦尔斯基长期任教爱丁堡大学和帝国理工学院，是Prolog语言的主要开发者之一，逻辑编程先驱。
rdf:langString
rdf:langString
روبرت كوالسكي
rdf:langString
Robert Kowalski
rdf:langString
Robert Kowalski
rdf:langString
Robert Kowalski
rdf:langString
Robert Kowalski
rdf:langString
Robert Kowalski
rdf:langString
Ковальски, Роберт
rdf:langString
Роберт Ковальський
rdf:langString
罗伯特·科瓦尔斯基
rdf:langString
Robert Kowalski
rdf:langString
Robert Kowalski
rdf:langString
Bridgeport, Connecticut, U.S.
xsd:date
1941-05-15
xsd:integer
1621364
xsd:integer
1111431625
rdf:langString
Studies in the Completeness and Efficiency of Theorem-Proving by Resolution
xsd:integer
1970
xsd:date
1941-05-15
rdf:langString
British
rdf:langString
Robert Anthony Kowalski také Bob Kowalski (* 15. května 1941 Bridgeport, Connecticut) je americký vědec zabývající se logikou a informatikou. Jeho předci jsou polského původu. Převážnou část své kariéry strávil ve Spojeném království. Jeho jméno je nejvíce spojováno s vývojem logického programování, především procedurální interpretací Hornových klauzulí. Byl jedním z prvních vývojářů abduktivního logického programování, ve kterém jsou logické programy rozšířeny o integritní omezení a nedefinované abduktivní predikáty.
rdf:langString
روبرت كوالسكي (بالإنجليزية: Robert Kowalski) هو عالم حاسوب وفيلسوف ورياضياتي ومهندس بريطاني، ولد في 15 مايو 1941 في بريدجبورت في الولايات المتحدة.
rdf:langString
Robert Anthony Kowalski (* 15. Mai 1941 in Bridgeport (Connecticut)) ist ein US-amerikanischer Informatiker und Logiker.
rdf:langString
Robert Anthony Kowalski (born 15 May 1941) is an American-British logician and computer scientist, whose research is concerned with developing both human-oriented models of computing and computational models of human thinking. He has spent most of his career in the United Kingdom.
rdf:langString
Robert Antony Kowalski (15 mei 1941, Bridgeport, Connecticut) is een Brits wiskundige en computerwetenschapper. Hij is het meest bekend om zijn werk aan de procedurele interpretatie van en staat daarmee aan de wieg van de taal Prolog, maar ook zijn werk aan , waarbij computerprogramma's wiskundige stellingen bewijzen en , waarmee oorzaken en gevolgen wiskundig kunnen worden beschreven en zijn werk aan gelden als toonaangevend.
rdf:langString
Robert Anthony Kowalski (Bridgeport, 15 maggio 1941) è un informatico e logico statunitense. La cui ricerca si occupa di sviluppare sia modelli di calcolo orientati all'uomo sia modelli computazionali del pensiero umano. Ha trascorso la maggior parte della sua carriera nel Regno Unito.
rdf:langString
Роберт Энтони Ковальски (15 мая 1941) — американский логик и ученый, который провел большую часть своей карьеры в Великобритании.
rdf:langString
Роберт Ентоні Ковальський (нар. 15 травня 1941) — американський логік і вчений, який провів більшу частину своєї кар'єри в Сполученому Королівстві.
rdf:langString
罗伯特·安东尼·科瓦尔斯基（Robert Anthony Kowalski，1941年5月15 日－）是一位美籍英籍逻辑学家和计算机科学家，他的研究涉及开发面向人类的计算模型和人类思维的计算模型。他的大部分职业生涯都在英国度过。科瓦尔斯基长期任教爱丁堡大学和帝国理工学院，是Prolog语言的主要开发者之一，逻辑编程先驱。
xsd:nonNegativeInteger
10963