Items where Author is "Horváth, Ramón"
Group by: Item Type | No Grouping Jump to: Book Section Number of items: 1. Book SectionSá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 |