Andrzej Trybulec

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2013
j3		Andrzej Trybulec, Artur Kornilowicz, Adam Naumowicz, Krystyna Kuperberg: Formal Mathematics for Mathematicians - Foreward to the Special Issue. J. Autom. Reasoning 50(2): 119-121 (2013)
	2006
c4		Andrzej Trybulec: Mizar. The Seventeen Provers of the World 2006: 20-23
	2004
e1		Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec (Eds.): Mathematical Knowledge Management, Third International Conference, MKM 2004, Bialowieza, Poland, September 19-21, 2004, Proceedings. Lecture Notes in Computer Science 3119, Springer 2004, isbn 3-540-23029-7
	2003
c3		Piotr Rudnicki, Andrzej Trybulec: On the Integrity of a Repository of Formalized Mathematics. MKM 2003: 162-174
	2001
j2		Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec: Commutative Algebra in the Mizar System. J. Symb. Comput. 32(1/2): 143-169 (2001)
	1999
j1		Piotr Rudnicki, Andrzej Trybulec: On Equivalents of Well-Foundedness. J. Autom. Reasoning 23(3-4): 197-234 (1999)
	1985
c2		Andrzej Trybulec, Howard A. Blair: Computer Assisted Reasoning with MIZAR. IJCAI 1985: 26-28
c1		Andrzej Trybulec, Howard A. Blair: Computer Aider Reasoning. Logic of Programs 1985: 406-412

Coauthor Index

Last update Tue May 21 03:03:34 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page