Laboratory for Foundations of Computer Science
http://dbpedia.org/resource/Laboratory_for_Foundations_of_Computer_Science an entity of type: Thing
The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.
rdf:langString
Лабораторія основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті.Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками .Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін.
rdf:langString
rdf:langString
Laboratory for Foundations of Computer Science
rdf:langString
Лабораторія основ інформатики LFCS
xsd:float
55.92124938964844
xsd:float
-3.173611164093018
xsd:integer
2818171
xsd:integer
1106172077
xsd:string
55.92125 -3.173611111111111
rdf:langString
The Laboratory for Foundations of Computer Science (LFCS) is a research institute within the School of Informatics at the University of Edinburgh, in Scotland. It was founded in 1987 and is a community of theoretical computer scientists with interests in concurrency, semantics, categories, algebra, types, logic, algorithms, complexity, databases and modelling.
rdf:langString
Лабораторія основ інформатики LFCS (англ. Laboratory for Foundations of Computer Science) науково-дослідний інститут в единбурзькому університеті.Лабораторія була заснована 1987 року лауреатом премії Тюрінга Робіном Мілнером та співробітниками .Наукові дослідження інституту переважно зосереджені на фундаментальних напрямках теорії інформатики, таких як семантика мов програмування, теорія категорій, теорія складності обчислень, паралелізм, формальна верифікація та ін.
xsd:nonNegativeInteger
1443
<Geometry>
POINT(-3.173611164093 55.921249389648)