Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /

Logic, Language, Information, and Computation : 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /

Detalles Bibliográficos
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Kennedy, Juliette. (Editor ), de Queiroz, Ruy J.G.B. (Editor )
Formato: eBook
Lenguaje:English
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2017.
Edición:1st ed. 2017.
Colección:Theoretical Computer Science and General Issues ; 10388
Materias:
Mathematical logic.
Artificial intelligence.
Computer science-Mathematics.
Algorithms.
Mathematical Logic and Formal Languages.
Artificial Intelligence.
Symbolic and Algebraic Manipulation.
Algorithm Analysis and Problem Complexity.
Tabla de Contenidos:
  • Logic and Language
  • Logic and Information
  • Computation
  • Mathematical Logic
  • Theory of Computation
  • Model Theory. - Proof Theory
  • Type Theory. Computability Theory. - Complexity Theory.

Ejemplares similares