Programming Logics Essays in Memory of Harald Ganzinger /

This Festschrift volume, published in memory of Harald Ganzinger, contains 17 papers from colleagues all over the world and covers all the fields to which Harald Ganzinger dedicated his work during his academic career. The volume begins with a complete account of Harald Ganzinger's work and the...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Voronkov, Andrei (Editor ), Weidenbach, Christoph (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edición:1st ed. 2013.
Colección:Theoretical Computer Science and General Issues, 7797
Temas:
Machine theory.
Artificial intelligence.
Computer programming.
Computer science.
Image processing-Digital techniques.
Computer vision.
Formal Languages and Automata Theory.
Artificial Intelligence.
Programming Techniques.
Computer Science Logic and Foundations of Programming.
Computer Imaging, Vision, Pattern Recognition and Graphics.
Acceso en línea:Texto Completo

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares