Filip Bártek
Scholar

Filip Bártek

Google Scholar ID: DiFzKOgAAAAJ
Czech Technical University in Prague
automated reasoningautomated theorem provingmachine learningartificial intelligence
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
38
 
H-index
4
 
i10-index
1
 
Publications
10
 
Co-authors
1
list available
Contact
Emailfilip.bartek@cvut.czLinkedInOpen ↗
Publications
1 items
The Vampire Diary
2025
Cited
0
Resume (English only)
Co-authors
1 total
Martin Suda
Martin Suda
Czech Technical University in Prague