Ngā hua rapu - Kapur, Deepak

Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014 Vienna, Austria, July 19-22, 2014 : Proceedings /

Ētahi atu kaituhi: “…Kapur, Deepak (edición)…”
Ver documento en línea
Registro independiente