dblp.uni-trier.dewww.uni-trier.de

Andrzej Trybulec Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
7EEAndrzej 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
5EEPiotr 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

Coauthor Index

1Andrea Asperti [6]
2Grzegorz Bancerek [6]
3Howard A. Blair [1] [2]
4Piotr Rudnicki [3] [4] [5]
5Christoph Schwarzweller [4]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)