Joan edukira
Biblioteca Dr. Jorge Villalobos Padilla, SJ
Dirección de Información Académica
  • Opiniones y sugerencias
  • Liburu-poltsa : 0 itemes ( Completo )
    • Inglés
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
  • Opiniones y sugerencias
  • Liburu-poltsa : 0 itemes ( Completo )
    • Inglés
    • Deutsch
    • Español
    • Français
    • Italiano
    • 日本語
    • Nederlands
    • Português
    • Português (Brasil)
    • 中文(简体)
    • 中文(繁體)
    • Türkçe
    • עברית
    • Gaeilge
    • Cymraeg
    • Ελληνικά
    • Català
    • Euskara
    • Русский
    • Čeština
    • Suomi
    • Svenska
    • polski
    • Dansk
    • slovenščina
    • اللغة العربية
    • বাংলা
    • Galego
    • Tiếng Việt
    • Hrvatski
    • हिंदी
    • Հայերէն
    • Українська
    • Sámegiella
    • Монгол
    • Māori
Página de inicio Portal Biblioteca Tesauro Reservar espacios Revistas Aviso de privacidad
Los préstamos con fecha de vencimiento del 21 al 26 de septiembre se renovaron automáticamente hasta el viernes 2 de octubre.
Aurreratua
  • Logic Program Synthesis and Tr...
  • Erreferentzia bihurtu
  • Imprimir
  • Erregistroa esportatu
    • Nora RefWorks
    • Nora EndNote
    • Nora Zotero Web Library
  • Lotura iraunkorra
Azala
QR Kodea

Logic Program Synthesis and Transformation : 7th International Workshop, LOPSTR .97, Leuven, Belgium, July 10.12, 1997 Proceedings /

Xehetasun bibliografikoak
Egile nagusia: Norbert E. Fuchs (edición)
Formatua: Liburua
Hizkuntza:ingelesa
Argitaratua: Berlín, Alemania : Springer, 1998, c1998
Saila:(Lecture Notes in Computer Science)
Sarrera elektronikoa:Ver documento en línea
  • Aleari buruzko argibideak
  • Deskribapena
  • Antzeko izenburuak
  • MARC erregistroa

Internet

Ver documento en línea

Antzeko izenburuak

  • Logic-Based Program Synthesis and Transformation : 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers /
    nork: Elvira Albert
    Argitaratua: (2013, c2013)
  • Logic Program Synthesis and Transformation : 6th International Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings /
    nork: John Gallagher
    Argitaratua: (1997, c1997)
  • Logic Based Program Synthesis and Transformation : 10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papers /
    nork: Kung-Kiu Lau
    Argitaratua: (2001, c2001)
  • Logic-Based Program Synthesis and Transformation : 16th International Symposium, LOPSTR 2006, Venice, Italy, July 12-14, 2006, Revised Selected Papers /
    nork: Germán Puebla
    Argitaratua: (2007, c2007)
  • Logic Based Program Synthesis and Transformation : 12th International Workshop, LOPSTR 2002, Madrid, Spain, September 17-20, 2002, Revised Selected Papers /
    nork: Michael Leuschel
    Argitaratua: (2003, c2003)

Opciones de búsqueda

  • Historial de búsqueda
  • Búsqueda avanzada
  • Catálogo clásico

Buscar más

  • Búsqueda por tesauro
  • Explorar el catálogo
  • Explorar alfabéticamente
  • Explorar canales
  • Ejemplares nuevos

¿Necesitas ayuda?

  • Consejos de búsqueda
  • Preguntas frecuentes

Horario de la Biblioteca

  • Lun 07:00-22:00
  • Mar 07:00-22:00
  • Mie 07:00-22:00
  • Jue 07:00-22:00
  • Vie 07:00-22:00
  • Sab 09:00-14:00
  • Dom Cerrado
Coordinación de Sistemas de Información, Dirección de Información Académica
Biblioteca Dr. Jorge Villalobos Padilla, SJ
ITESO
Periférico Sur Manuel Gómez Morín #8585, Tlaquepaque, Jal.
Conmutador: +52(33)3669 3434
  • Catálogo en línea
  • © 2026 Catálogo Público de la Biblioteca V/F -- v.11.0