Jakub Borowczyk

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1996

1 Andrzej Biela, Jakub Borowczyk: RETRPROV, A System that Looks for Axioms. Acta Inf. 33(8): 759-780 (1996)

	1996
1		Andrzej Biela, Jakub Borowczyk: RETRPROV, A System that Looks for Axioms. Acta Inf. 33(8): 759-780 (1996)

Coauthor Index