 | 2006 |
|---|
| 7 |       | Andrzej Trybulec:
Mizar.
The Seventeen Provers of the World 2006: 20-23 |
| 2004 |
|---|
| 6 |  | Andrea Asperti,
Grzegorz Bancerek,
Andrzej Trybulec:
Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings
Springer 2004 |
| 2003 |
|---|
| 5 | | Piotr Rudnicki,
Andrzej Trybulec:
On the Integrity of a Repository of Formalized Mathematics.
MKM 2003: 162-174 |
| 2001 |
|---|
| 4 | | Piotr Rudnicki,
Christoph Schwarzweller,
Andrzej Trybulec:
Commutative Algebra in the Mizar System.
J. Symb. Comput. 32(1/2): 143-169 (2001) |
| 1999 |
|---|
| 3 | | Piotr Rudnicki,
Andrzej Trybulec:
On Equivalents of Well-Foundedness.
J. Autom. Reasoning 23(3-4): 197-234 (1999) |
| 1985 |
|---|
| 2 | | Andrzej Trybulec,
Howard A. Blair:
Computer Assisted Reasoning with MIZAR.
IJCAI 1985: 26-28 |
| 1 | | Andrzej Trybulec,
Howard A. Blair:
Computer Aider Reasoning.
Logic of Programs 1985: 406-412 |
