Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /

Interactive Theorem Proving : 8th International Conference, ITP 2017, Brasília, Brazil, September 26–29, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Ayala-Rincón, Mauricio. (Editor ), Muñoz, César A. (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 ; 10499
Materias:
Mathematical logic.
Computer logic.
Computer system failures.
Software engineering.
Programming languages (Electronic computers).
Artificial intelligence.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
System Performance and Evaluation.
Software Engineering.
Programming Languages, Compilers, Interpreters.
Artificial Intelligence.
Descripción
Descripción Física:XIX, 532 p. 79 illus. : online resource.
ISBN:9783319661070

Ejemplares similares