# Mikheil Rukhaia

According to our database

Collaborative distances:

^{1}, Mikheil Rukhaia authored at least 9 papers between 2012 and 2023.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2023

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

Project Presentation: Recursive Functions and Engineering Probabilistic Ontologies.

Proceedings of the 19th IEEE International Conference on e-Science, 2023

2019

Proceedings of the Language, Logic, and Computation - 13th International Tbilisi Symposium, 2019

2014

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

2013

CoRR, 2013

Proceedings of the Logic, Language, and Computation, 2013

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

2012

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012