Name Card

Full name Familienname, Vorname

Hoder, Kryštof

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Hoder, Kryštof ; Reger, Giles ; Suda, Martin ; Voronkov, Andrei	Selecting the Selection	Konferenzbeitrag Inproceedings	2016
	2		Hoder, Kryštof ; Holzer, Andreas ; Kovács, Laura ; Voronkov, Andrei	Vinter: A Vampire-Based Tool for Interpolation	Konferenzbeitrag Inproceedings	2012