TY - BOOK ID - 16191683 TI - Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings AU - Hung, Dang Van. AU - Kapur, Deepak. PY - 2017 SN - 3319677292 3319677284 PB - Cham : Springer International Publishing : Imprint: Springer, DB - UniCat KW - Computer science. KW - Software engineering. KW - Programming languages (Electronic computers). KW - Computer logic. KW - Mathematical logic. KW - Artificial intelligence. KW - Computer Science. KW - Logics and Meanings of Programs. KW - Programming Languages, Compilers, Interpreters. KW - Artificial Intelligence (incl. Robotics). KW - Software Engineering. KW - Mathematical Logic and Formal Languages. KW - AI (Artificial intelligence) KW - Artificial thinking KW - Electronic brains KW - Intellectronics KW - Intelligence, Artificial KW - Intelligent machines KW - Machine intelligence KW - Thinking, Artificial KW - Algebra of logic KW - Logic, Universal KW - Mathematical logic KW - Symbolic and mathematical logic KW - Symbolic logic KW - Computer science logic KW - Computer languages KW - Computer program languages KW - Computer programming languages KW - Machine language KW - Computer software engineering KW - Informatics KW - Bionics KW - Cognitive science KW - Digital computer simulation KW - Electronic data processing KW - Logic machines KW - Machine theory KW - Self-organizing systems KW - Simulation methods KW - Fifth generation computers KW - Neural computers KW - Mathematics KW - Algebra, Abstract KW - Metamathematics KW - Set theory KW - Syllogism KW - Logic, Symbolic and mathematical KW - Languages, Artificial KW - Engineering KW - Science KW - Logic design. KW - Artificial Intelligence. KW - Design, Logic KW - Design of logic systems KW - Digital electronics KW - Electronic circuit design KW - Logic circuits KW - Switching theory KW - Information theory KW - Compilers (Computer programs). KW - Machine theory. KW - Computer Science Logic and Foundations of Programming. KW - Compilers and Interpreters. KW - Formal Languages and Automata Theory. KW - Abstract automata KW - Abstract machines KW - Automata KW - Mathematical machine theory KW - Algorithms KW - Recursive functions KW - Robotics KW - Compiling programs (Computer programs) KW - Computer programs KW - Programming software KW - Systems software UR - https://www.unicat.be/uniCat?func=search&query=sysid:16191683 AB - This book constitutes the refereed proceedings of the 14th International Colloquium on Theoretical Aspects of Computing, ICTAC 2017, held in Hanoi, Vietnam, in October 2017. The 17 revised full papers presented together with three invited talks were carefully reviewed and selected from 40 submissions. The papers are organized in topical sections on logics; software components and concurrency; automata; SMT solvers and algorithms; and security. ER -