Krzysztof R. Apt

http://dbpedia.org/resource/Krzysztof_R._Apt

Krzysztof Rafał Apt (ur. 1949 w Katowicach) – polski matematyk i informatyk. Specjalizuje się w programowaniu logicznym, teorii weryfikacjiprogramów i teorii gier. CWI fellow w holenderskim Centrum voor Wiskunde en Informatica oraz profesor (od 2014 emerytowany) na Uniwersytecie Amsterdamskim. Współzałożyciel i pierwszy dyrektor administracyjny (1982–1984) „Zeszytów Literackich". rdf:langString
rdf:langString Krzysztof R. Apt
rdf:langString Krzysztof Apt
xsd:integer 72216346
xsd:integer 1122737659
rdf:langString Krzysztof Rafał Apt (ur. 1949 w Katowicach) – polski matematyk i informatyk. Specjalizuje się w programowaniu logicznym, teorii weryfikacjiprogramów i teorii gier. CWI fellow w holenderskim Centrum voor Wiskunde en Informatica oraz profesor (od 2014 emerytowany) na Uniwersytecie Amsterdamskim. Współzałożyciel i pierwszy dyrektor administracyjny (1982–1984) „Zeszytów Literackich".
xsd:nonNegativeInteger 11133
<http://scholar.google.nl>
<http://dbpedia.org/resource/Category:Programming_language_researchers>
<http://dbpedia.org/resource/Category:Polish_computer_scientists>
<http://dbpedia.org/resource/Category:1949_births>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/Cambridge_University_Press>
<http://dbpedia.org/resource/Category:Programming_language_researchers>
<http://dbpedia.org/resource/Prentice_Hall>
<http://dbpedia.org/resource/Category:Polish_computer_scientists>
<http://dbpedia.org/resource/University_of_Amsterdam>
<http://dbpedia.org/resource/University_of_Texas_at_Austin>
<http://dbpedia.org/resource/University_of_Warsaw>
<http://dbpedia.org/resource/Category:1949_births>
<http://dbpedia.org/resource/Category:Living_people>
<http://dbpedia.org/resource/Ernst-Rüdiger_Olderog>
<http://dbpedia.org/resource/Game_theory>
<http://dbpedia.org/resource/ArXiv>
<http://dbpedia.org/resource/MIT_Press>
<http://dbpedia.org/resource/Singapore>
<http://dbpedia.org/resource/Centrum_Wiskunde_&_Informatica>
<http://dbpedia.org/resource/Turing_Award>
<http://dbpedia.org/resource/U.S.>
<http://dbpedia.org/resource/Warsaw>
<http://dbpedia.org/resource/Distributed_computing>
<http://dbpedia.org/resource/Logic_programming>
<http://dbpedia.org/resource/Academia_Europaea>
<http://dbpedia.org/resource/Amsterdam>
<http://dbpedia.org/resource/European_Strategic_Programme_on_Research_in_Information_Technology_(ESPRIT)>
<http://dbpedia.org/resource/France>
<http://dbpedia.org/resource/Association_for_Computing_Machinery>
<http://dbpedia.org/resource/ACM_Transactions_on_Computational_Logic>
<http://dbpedia.org/resource/Category:Formal_methods_people>
<http://dbpedia.org/resource/Katowice>
<http://dbpedia.org/resource/Hoare_logic>
<http://dbpedia.org/resource/Association_for_Logic_Programming>
<http://dbpedia.org/resource/National_University_of_Singapore>
<http://dbpedia.org/resource/Netherlands>
<http://dbpedia.org/resource/Witold_Lipski>
<http://dbpedia.org/resource/Semantics_(computer_science)>
<http://dbpedia.org/resource/Springer-Verlag>
<http://dbpedia.org/resource/Springer_Verlag>
<http://dbpedia.org/resource/Program_correctness>
<https://homepages.cwi.nl/~apt/>
<https://www.cwi.nl/people/krzysztof-apt>
<https://nauka-polska.pl/%23/profile/scientist%3Fid=204902&_k=x3n861>
<https://scholar.google.nl/citations%3Fuser=80M1xD0AAAAJ&hl=en>
<https://arxiv.org/search/%3Fquery=Krzysztof+R.+Apt&searchtype=all&abstracts=show&order=-announced_date_first>
<https://link.springer.com/search%3Fquery=Krzysztof+Apt>
<https://www.researchgate.net/profile/Krzysztof-Apt>
<https://dblp.uni-trier.de/pid/a/KRApt.html>
<http://d-nb.info/gnd/110139763>
<https://dblp.org/pid/a/KRApt>
<http://viaf.org/viaf/27150160>
<http://www.wikidata.org/entity/Q26693942>
<http://data.bibliotheken.nl/id/thes/p073181587>
<http://pl.dbpedia.org/resource/Krzysztof_Apt>
<https://global.dbpedia.org/id/2WCUY>
<http://dbpedia.org/resource/Template:Cite_book>
<http://dbpedia.org/resource/Template:Cite_web>
<http://dbpedia.org/resource/Template:Reflist>
<http://dbpedia.org/resource/Template:Refn>
<http://dbpedia.org/resource/Template:Short_description>
<http://en.wikipedia.org/wiki/Krzysztof_R._Apt?oldid=1122737659&ns=0>
<http://en.wikipedia.org/wiki/Krzysztof_R._Apt>

data from the linked data cloud