Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Author is Kovacs, L.  [Clear All Filters]
2013
A Parametric Interpolation Framework for First-Order Theories, Kovacs, L., Rollini S.F., and Sharygina Natasha , 12th Mexican International Conference on Artificial Intelligence (MICAI), (2013)