Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /

Reachability Problems : 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Hague, Matthew. (Editor ), Potapov, Igor. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Cham : Springer International Publishing : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10506
Materias:
Computers.
Computer logic.
Mathematical logic.
Algorithms.
Software engineering.
Artificial intelligence.
Computation by Abstract Devices.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Algorithm Analysis and Problem Complexity.
Software Engineering/Programming and Operating Systems.
Artificial Intelligence.

Ejemplares similares

Ejemplares similares