International Joint Conference on Automated Reasoning ( Viena, Austria), Demri, S., Kapur, D., & Weidenbach, C. 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. Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Chicago-čujuhus (17. p.)
International Joint Conference on Automated Reasoning ( Viena, Austria), Stéphane Demri, Deepak Kapur, juo Christoph Weidenbach. 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. Cham, Suiza: Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
MLA-čujuhus (9. p.)
International Joint Conference on Automated Reasoning ( Viena, Austria), et al. 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. Springer.
Kopierejuvvon čuohpusbeavdái
Kopieren čuohpusbeavdái ii lihkostuvvan
Muitte dárkkistit čujuhemiid riektatvuođa, ovdal go geavahat daid iežat deavsttas.