Saltar al contenido

UAM Iztapalapa 50 años

Login
  • 0 elementos (Completo)
  • Servicios para Alumnos
  • Servicios para Académicos
  • Recupera tu NIP
  • Mis Préstamos y Multas
  • Idioma
    • Inglés
    • Español
    • Francés
    • Galego
bannerbg
Búsqueda Avanzada
  • Term Rewriting and Application...
  • Citar
  • Describir
  • Enviar este por Correo electrónico
  • Imprimir
  • Exportar Registro
    • Exportar a RefWorks
    • Exportar a EndNoteWeb
    • Exportar a EndNote
  • Añadir a la Mochila Eliminar de la Mochila
  • Enlace Permanente
Exportación Completada — 
Cargando…
Vista preliminar
Vista preliminar
Vista preliminar

Term Rewriting and Applications 17th International Conference, RTA 2006, Seattle, WA, USA, August 12-14, 2006, Proceedings /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Pfenning, Frank (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2006.
Edición:1st ed. 2006.
Colección:Theoretical Computer Science and General Issues, 4098
Temas:
Compilers (Computer programs).
Machine theory.
Computer science.
Artificial intelligence.
Computer science > Mathematics.
Compilers and Interpreters.
Formal Languages and Automata Theory.
Computer Science Logic and Foundations of Programming.
Artificial Intelligence.
Symbolic and Algebraic Manipulation.
Acceso en línea:Texto Completo
  • Existencias
  • Descripción
  • Tabla de Contenidos
  • Ejemplares similares
  • Etiquetas MARC

Internet

Texto Completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares

  • Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005, Proceedings /
    Publicado: (2005)
  • Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings /
    Publicado: (2007)
  • Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008, Proceedings /
    Publicado: (2008)
  • Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
    Publicado: (2007)
  • Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
    Publicado: (2011)

Coordinación de Servicios Documentales

  • Av. Ferrocarril San Rafael Atlixco, Núm. 186, Col. Leyes de Reforma 1 A Sección, Alcaldía Iztapalapa, C.P. 09310, Ciudad de México.
  • ¿Tienes alguna duda?, por favor envíala al correo eléctronico: bibl@xanum.uam.mx

Horario de servicio

  • Lunes a viernes: 8:00 hrs a 21:45 hrs

Opciones de búsqueda

  • Historial de Búsqueda
  • Catálogo Anterior

¿Necesitas ayuda?

  • Consejos de búsqueda
  • Consulte a un Bibliotecario
  • Preguntas Frecuentes

Copyright © 2023 Coordinación de Servicios Documentales. Todos los derechos reservados.