About: Andrzej Trybulec

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Andrzej Trybulec Goto Sponge NotDistinct Permalink

An Entity of Type : yago:WikicatPolishMathematicians, within Data Space : dbpedia.org associated with source document(s)
QRcode icon

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.

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species schema:Person yago:WikicatPeopleFromBiałystok Scientist yago:CausalAgent100007347 yago:ComputerScientist109951070 yago:ComputerUser109951274 yago:LivingThing100004258 yago:Mathematician110301261 yago:Object100002684 yago:Organism100004475 yago:Person100007846 yago:PhysicalEntity100001930 yago:YagoLegalActor yago:YagoLegalActorGeo yago:Scientist110560637 yago:Whole100003553 yago:WikicatPolishComputerScientists yago:WikicatPolishMathematicians
rdfs:label	Andrzej Trybulec (de) Andrzej Trybulec (en) Andrzej Trybulec (fr) Andrzej Trybulec (pl)
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)
foaf:name	Andrzej W. Trybulec (en)
name	Andrzej W. Trybulec (en)
foaf:depiction
birth place	Poland Kraków
death place	Białystok Poland
death place	Białystok, Poland (en)
death date	2013-09-11 (xsd:date)
birth place	Kraków, Poland (en)
birth date	1941-01-29 (xsd:date)
dcterms:subject	Polish computer scientists 1941 births 2013 deaths 20th-century Polish mathematicians People from Białystok 21st-century Polish mathematicians
Wikipage page ID	5235558 (xsd:integer)
Wikipage revision ID	1117225417 (xsd:integer)
Link from a Wikipage to another Wikipage	Pyotr Kapitsa Ruda Śląska Mizar system Białystok Polish computer scientists List of Polish people University of Connecticut University of Warsaw Tarski's axioms Timeline of Polish science and technology 1941 births Mathematics Tarski–Grothendieck set theory Gerhard Gentzen Moscow Computational linguistics Computer scientist Zermelo–Fraenkel set theory Journal of Automated Reasoning Machine-readable data Mathematician 2013 deaths Båstad 20th-century Polish mathematicians Topology USSR Warsaw University of Technology Studies in Logic, Grammar and Rhetoric List of Polish mathematicians Master's degree Natural deduction Greg Kuperberg Jan Śleszyński Tarnów University of Białystok People from Białystok Chalmers University of Technology 21st-century Polish mathematicians Karol Borsuk Szczucin Assistant professor Poland Poles

Faceted Search & Find service v1.17_git147 as of Sep 06 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3332 as of Dec 5 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 62 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software