| dbo:abstract
|
- Andrzej Wojciech Trybulec (* 29. Januar 1941; † 11. September 2013) war ein polnischer Mathematiker. Er war der Initiator und Entwickler des Mizar-Systems.Seine hauptsächlichen Interessenfelder waren Computer oriented formalization of mathematics (computergestützte Formalisierung von Mathematik), Computerlinguistik und die Semantik von Programmiersprachen. (de)
- Andrzej Wojciech Trybulec (29 January 1941 in Kraków, Poland – 11 September 2013 in Białystok, Poland) was a Polish mathematician and computer scientist noted for work on the Mizar system. (en)
- Andrzej Wojciech Trybulec (né le 29 janvier 1941 à Cracovie et mort le 11 septembre 2013 à Białystok) est un mathématicien et informaticien polonais, connu pour avoir développé le système Mizar. (fr)
- Andrzej Wojciech Trybulec (ur. 29 stycznia 1941, zm. 11 września 2013) – polski matematyk i informatyk, pracujący na Uniwersytecie w Białymstoku. Był twórcą systemu automatycznego dowodzenia twierdzeń Mizar. (pl)
|
| dbo:academicDiscipline
| |
| dbo:almaMater
| |
| dbo:award
| |
| dbo:birthDate
| |
| dbo:birthPlace
| |
| dbo:deathDate
| |
| dbo:deathPlace
| |
| dbo:doctoralAdvisor
| |
| dbo:knownFor
| |
| dbo:nationality
| |
| dbo:thumbnail
| |
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageLength
|
- 8094 (xsd:nonNegativeInteger)
|
| dbo:wikiPageRevisionID
| |
| dbo:wikiPageWikiLink
| |
| dbp:almaMater
| |
| dbp:awards
|
- Golden Order of Merit, 1988 (en)
- Silver Order of Merit, 1978 (en)
- Kapitsa Medal, Russian Academy of Natural Sciences, 1995 (en)
- Golden Medal of Merit of the Warsaw Voivodeship, 1978 (en)
- Śleszyński Prize, Mizar Users Association, 1994 (en)
|
| dbp:birthDate
| |
| dbp:birthPlace
| |
| dbp:caption
| |
| dbp:children
|
- Michał J. Trybulec (en)
- Wojciech A. Trybulec (en)
|
| dbp:deathDate
| |
| dbp:deathPlace
| |
| dbp:doctoralAdvisor
| |
| dbp:fields
| |
| dbp:footnotes
| |
| dbp:knownFor
| |
| dbp:name
| |
| dbp:nationality
| |
| dbp:spouse
| |
| dbp:thesisTitle
|
- On some properties of the movable compacta (en)
|
| dbp:thesisYear
| |
| dbp:wikiPageUsesTemplate
| |
| dbp:workInstitution
| |
| dcterms:subject
| |
| gold:hypernym
| |
| schema:sameAs
| |
| rdf:type
| |
| rdfs:comment
|
- Andrzej Wojciech Trybulec (* 29. Januar 1941; † 11. September 2013) war ein polnischer Mathematiker. Er war der Initiator und Entwickler des Mizar-Systems.Seine hauptsächlichen Interessenfelder waren Computer oriented formalization of mathematics (computergestützte Formalisierung von Mathematik), Computerlinguistik und die Semantik von Programmiersprachen. (de)
- Andrzej Wojciech Trybulec (29 January 1941 in Kraków, Poland – 11 September 2013 in Białystok, Poland) was a Polish mathematician and computer scientist noted for work on the Mizar system. (en)
- Andrzej Wojciech Trybulec (né le 29 janvier 1941 à Cracovie et mort le 11 septembre 2013 à Białystok) est un mathématicien et informaticien polonais, connu pour avoir développé le système Mizar. (fr)
- Andrzej Wojciech Trybulec (ur. 29 stycznia 1941, zm. 11 września 2013) – polski matematyk i informatyk, pracujący na Uniwersytecie w Białymstoku. Był twórcą systemu automatycznego dowodzenia twierdzeń Mizar. (pl)
|
| rdfs:label
|
- Andrzej Trybulec (de)
- Andrzej Trybulec (en)
- Andrzej Trybulec (fr)
- Andrzej Trybulec (pl)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:depiction
| |
| foaf:isPrimaryTopicOf
| |
| foaf:name
| |
| is dbo:designer
of | |
| is dbo:influenced
of | |
| is dbo:notableStudent
of | |
| is dbo:wikiPageRedirects
of | |
| is dbo:wikiPageWikiLink
of | |
| is dbp:designer
of | |
| is dbp:influenced
of | |
| is dbp:notableStudents
of | |
| is foaf:primaryTopic
of | |
