Mikheil Rukhaia (Institute of Computer Languages (E185)

Identifiers

• name variant Mikheil Rukhaia (Institute of Computer Languages (E185) 0.60 · backfill

Papers (1)

1. PROOFTOOL: a GUI for the GAPT Framework cs.LO · 2013 · author #9

Mentions

• 1307.1942 #9 · backfill · confidence 0.70 Mikheil Rukhaia (Institute of Computer Languages (E185)

Frequent Coauthors

• Alexander Leitsch (Institute of Computer Languages (E185) 1 shared papers
• Bruno Woltzenlogel-Paleo (Institute of Computer Languages (E185) 1 shared papers
• Cvetan Dunchev (Institute of Computer Languages (E185) 1 shared papers
• Daniel Weller (Institute of Discrete Mathematics 1 shared papers
• Geometry (E104) 1 shared papers
• Martin Riener (Institute of Computer Languages (E185) 1 shared papers
• Tomer Libal (Institute of Computer Languages (E185) 1 shared papers
• Vienna University of Technology) 1 shared papers