Andrzej Biela

According to our database1, Andrzej Biela
  • authored at least 3 papers between 1988 and 1996.
  • has no known "Dijkstra number"2.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

1996
RETRPROV, A System that Looks for Axioms.
Acta Inf., 1996

1993
Retrieval System and Dynamic Algorithm Looking for Axioms of Notions Defined by Programs.
Fundam. Inform., 1993

1988
Program-Substitution and Admissibility of Rules in Algorithmic Logic.
Acta Inf., 1988


  Loading...