  |
Items where Author is "Horváth, Ramón"
Group by: Item Type | No Grouping Number of items: 1. Sági, Gábor and Horváth, Ramón (2017) Non-computable Models of Certain First Order Theories. In: INFORMATICS 2017. IEEE Hungary Section, Košice, pp. 306-312. ISBN 978-1-5386-0888-3 |
