Andrzej Biela

	1996
3		Andrzej Biela, Jakub Borowczyk: RETRPROV, A System that Looks for Axioms. Acta Inf. 33(8): 759-780 (1996)
	1993
2		Andrzej Biela: Retrieval System and Dynamic Algorithm Looking for Axioms of Notions Defined by Programs. Fundam. Inform. 19(3/4): 275-301 (1993)
	1988
1		Andrzej Biela: Program-Substitution and Admissibility of Rules in Algorithmic Logic. Acta Inf. 25(4): 439-473 (1988)

Coauthor Index

1

Jakub Borowczyk

[3]