Imagen de Portada

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /

Guardado en:
Autor Principal: Filliâtre, Jean-Christophe.
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Paulin-Mohring, Christine., Werner, Benjamin.
Formato: Electrónico
Idioma:English
Publicado: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.
Series:Lecture Notes in Computer Science, 3839
Materias:
Computer science.
Logic design.
Algebra > Data processing.
Artificial intelligence.
Computer Science.
Logics and Meanings of Programs.
Programming Languages, Compilers, Interpreters.
Mathematical Logic and Formal Languages.
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