Location & Availability for: Theoretical Aspects of Computing - ICTAC

 Staff view

You must be logged in to Tag Records

Theoretical Aspects of Computing - ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings /

edited by Dang Van Hung, Deepak Kapur.

Book Cover
Names: Dang, Hung Van, | Kapur, Deepak,
Published: Cham : Springer International Publishing : Imprint : Springer, 2017.
Series: 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.
Genres: Electronic books.
Tags: Add


Spaces will separate tags.
Use quotes for multi-word tags.


Loading Holdings Data ... Loading

Location & Availability for: Theoretical Aspects of Computing - ICTAC