Andrzej Biela

According to our database, Andrzej Biela authored at least 3 papers between 1988 and 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

1993

Retrieval System and Dynamic Algorithm Looking for Axioms of Notions Defined by Programs.

Andrzej Biela

Fundam. Informaticae, 1993

1988

Program-Substitution and Admissibility of Rules in Algorithmic Logic.

Andrzej Biela

Acta Informatica, 1988