Imagen de Portada

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /

Guardado en:
Autor Principal: Altenkirch, Thorsten.
Autor Corporativo: SpringerLink (Online service)
Otros Autores: McBride, Conor.
Formato: Electrónico
Idioma:English
Publicado: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Series:Lecture Notes in Computer Science, 4502
Materias:
Computer science.
Logic design.
Algebra > Data processing.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Programming Languages, Compilers, Interpreters.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics)
Acceso en línea:SpringerLink, via BECYT
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
Recurso en línea
SpringerLink, via BECYT
BIB. MATEMATICA
Ubicación de la biblioteca
Volumen/Tomo: No especificado
Ejemplares: 1
Signatura:

Ejemplares similares