Dang, Hung Van,Kapur, Deepak. (Eds.) () Theoretical Aspects of Computing - ICTAC 2017 :14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, ProceedingsMLA Citation
Dang, Hung Van,Kapur, Deepak,eds. Theoretical Aspects Of Computing - ICTAC 2017: 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings. : . Print.
These citations may not conform precisely to your selected citation style. Please use this display as a guideline and modify as needed.
Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /
edited by Dang Van Hung, Deepak Kapur.
|Names:||Dang, Hung Van, | Kapur, Deepak,|
|Published:||Cham : Springer International Publishing : Imprint : Springer, 2017.|
Lecture notes in computer science ; 10580.
|Topics:||Computer science. | Software engineering. | Programming languages (Electronic computers) | Computer logic. | Logic, Symbolic and mathematical. | Artificial intelligence. | Computer Science. | Logics and Meanings of Programs. | Programming Languages, Compilers, Interpreters. | Artificial Intelligence (incl. Robotics). | Software Engineering. | Mathematical Logic and Formal Languages.|