Andrzej Trybulec

Publication Activity (10 Years)

Years Active: 1985-2013
Publications (10 Years): 0

Top Topics

Computer Scientists

Top Venues

J. Autom. Reason.

Publications

Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Trybulec Kuperberg
Formal Mathematics for Mathematicians - Foreward to the Special Issue. J. Autom. Reason. 50 (2) (2013)
Piotr Rudnicki, Andrzej Trybulec
On the Integrity of a Repository of Formalized Mathematics. MKM (2003)
Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec
Commutative Algebra in the Mizar System. J. Symb. Comput. 32 (1/2) (2001)
Piotr Rudnicki, Andrzej Trybulec
On Equivalents of Well-Foundedness. J. Autom. Reason. 23 (3-4) (1999)
Andrzej Trybulec, Howard A. Blair
Computer Aider Reasoning. Logic of Programs (1985)
Andrzej Trybulec, Howard A. Blair
Computer Assisted Reasoning with MIZAR. IJCAI (1985)