Tsivtsivadze, Evgeni
24  results:
Search for persons X
?
 
?
9

Premise Selection for Mathematics by Corpus Analysis and Ke..:

Alama, Jesse ; Heskes, Tom ; Kühlwein, Daniel..
Journal of Automated Reasoning.  52 (2013)  2 - p. 191-213 , 2013
 
?
11

Pattern recognition in bioinformatics 

5th IAPR international conference, PRIB 2010, Nijmegen, The...  Lecture notes in computer science ; 6282, Lecture notes in bioinformatics
 
?
12

Learning intransitive reciprocal relations with kernel meth..:

Pahikkala, Tapio ; Waegeman, Willem ; Tsivtsivadze, Evgeni..
European Journal of Operational Research.  206 (2010)  3 - p. 676-685 , 2010
 
1-15