Andrzej Trybulec

From Wikipedia, the free encyclopedia

This article does not cite any references or sources. (February 2008)
Please help improve this article by adding citations to reliable sources. Unverifiable material may be challenged and removed.

Andrzej Trybulec, (born January 29, 1941) is a Polish mathematician and computer scientist, noted for development of the Mizar system [1].

This Polish biographical article is a stub. You can help Wikipedia by expanding it.

This article about a mathematician is a stub. You can help Wikipedia by expanding it.

Hidden categories: Articles lacking sources from February 2008 | All articles lacking sources

Views

Interaction

Search

This page was last modified 21:55, 7 February 2008 by Wikipedia user Mattisse. Based on work by Wikipedia user(s) Katharineamy, Gilliam, Mattbuck, Antidote, CSTAR, Midnightcomm, Piotrus, Greg Kuperberg and Stormbay.
All text is available under the terms of the GNU Free Documentation License. (See Copyrights for details.)
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a U.S. registered 501(c)(3) tax-deductible nonprofit charity.
About Wikipedia
Disclaimers

Andrzej Trybulec

From Wikipedia, the free encyclopedia

Views

Navigation

Interaction

Search