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.

Property Value
dbo:abstract
  • 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 (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)
dbo:almaMater
dbo:birthDate
  • 1941-01-29 (xsd:date)
dbo:birthPlace
dbo:birthYear
  • 1941-01-01 (xsd:gYear)
dbo:citizenship
dbo:deathDate
  • 2013-09-11 (xsd:date)
dbo:deathPlace
dbo:deathYear
  • 2013-01-01 (xsd:gYear)
dbo:discipline
dbo:doctoralAdvisor
dbo:doctoralStudent
dbo:domain
dbo:employer
dbo:influencedBy
dbo:institution
dbo:knownFor
dbo:nationality
dbo:occupation
dbo:thumbnail
dbo:thumbnailCaption
  • Andrzej Trybulec vers 1975
dbo:university
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 9160352 (xsd:integer)
dbo:wikiPageLength
  • 3753 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 185741082 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:champs
prop-fr:dateDeDécès
  • 2013-09-11 (xsd:date)
prop-fr:dateDeNaissance
  • 1941-01-29 (xsd:date)
prop-fr:diplôme
prop-fr:directeurThèse
prop-fr:fr
  • Théorie des ensembles de Tarski-Grothendieck (fr)
  • Greg Kuperberg (fr)
  • Włodzimierz Kuperberg (fr)
  • Théorie des ensembles de Tarski-Grothendieck (fr)
  • Greg Kuperberg (fr)
  • Włodzimierz Kuperberg (fr)
prop-fr:institutions
prop-fr:lang
  • en (fr)
  • en (fr)
prop-fr:lieuDeDécès
prop-fr:lieuDeNaissance
prop-fr:légende
  • Andrzej Trybulec vers 1975 (fr)
  • Andrzej Trybulec vers 1975 (fr)
prop-fr:nom
  • Andrzej Trybulec (fr)
  • Andrzej Trybulec (fr)
prop-fr:paysDeDécès
prop-fr:paysDeNaissance
prop-fr:renomméPour
prop-fr:trad
  • Tarski–Grothendieck set theory (fr)
  • Greg Kuperberg (fr)
  • Włodzimierz Kuperberg (fr)
  • Tarski–Grothendieck set theory (fr)
  • Greg Kuperberg (fr)
  • Włodzimierz Kuperberg (fr)
prop-fr:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • 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 (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)
rdfs:label
  • Andrzej Trybulec (fr)
  • Andrzej Trybulec (fr)
rdfs:seeAlso
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
foaf:name
  • (fr)
  • Andrzej Trybulec (fr)
  • (fr)
  • Andrzej Trybulec (fr)
is dbo:designer of
is dbo:doctoralStudent of
is dbo:influenced of
is dbo:wikiPageWikiLink of
is oa:hasTarget of
is foaf:primaryTopic of