Igor Romanenko

According to our database, Igor Romanenko authored at least 3 papers between 1991 and 1992.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

1992

Logican's Workbench.

Igor Romanenko

Proceedings of the Logic Programming and Automated Reasoning, 1992

One More Logic with Uncertainty and Resolution Principle for it.

Konstantin Vershinin, Igor Romanenko

Proceedings of the Automated Deduction, 1992

1991

Algebraic Program Interpreter APREX2.

D. Rayko, Kirill Vershinin, Igor Romanenko

Proceedings of the STACS 91, 1991