Igor Romanenko

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1992

Logican's Workbench.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 1992

One More Logic with Uncertainty and Resolution Principle for it.

[BibT_eX]

[DOI]

Proceedings of the Automated Deduction, 1992

1991

Algebraic Program Interpreter APREX2.

[BibT_eX]

[DOI]

Proceedings of the STACS 91, 1991