Jakub Borowczyk

According to our database, Jakub Borowczyk authored at least 1 paper in 1996.

Collaborative distances:

• no known Dijkstra number.
• no known Erdős number.

1996

RETRPROV, A System that Looks for Axioms.

Andrzej Biela, Jakub Borowczyk

Acta Informatica, 1996