Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Schneider, Klaus (Editor ), Brandt, Jens (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2007.
Edición:1st ed. 2007.
Colección:Theoretical Computer Science and General Issues, 4732
Temas:
Computer science.
Machine theory.
Software engineering.
Artificial intelligence.
Logic design.
Theory of Computation.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Software Engineering.
Artificial Intelligence.
Logic Design.
Acceso en línea:Texto Completo
Descripción
Descripción Física:VIII, 404 p. online resource.
ISBN:9783540745914
ISSN:2512-2029 ;

Ejemplares similares